sage.sh: don't force the system arb

It looks like arb is no longer an SPKG.

diff --git a/sage.sh b/sage.sh
index 3b063ad57a2462e11b8bd0def2138c14e3e0d0ac..6772336fb65eaa568db59805be73149c7a7ef885 100644 (file)
--- a/sage.sh
+++ b/sage.sh
@@ -45,7 +45,6 @@ sage-configure() {
     --disable-doc \
     --disable-notebook \
     --disable-r \
-    --with-system-arb=force \
     --with-system-asttokens=force \
     --with-system-attrs=force \
     --with-system-beniget=force \