From b373823c413c588cf57ca342e149a970e35b7a51 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Sun, 10 Dec 2023 22:19:10 -0500
Subject: [PATCH] sage.sh: don't force the system arb

It looks like arb is no longer an SPKG.
---
 sage.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/sage.sh b/sage.sh
index 3b063ad..6772336 100644
--- 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 \
-- 
2.43.2