From 058bd0e6aa49dc748aa440d65ce665c7d23f56e4 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 2 Oct 2024 07:54:50 -0400
Subject: [PATCH] sage.sh: add new --disable-sagetex flag

---
 sage.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sage.sh b/sage.sh
index 65d7ec3..6a80713 100644
--- a/sage.sh
+++ b/sage.sh
@@ -30,6 +30,7 @@ sage-configure() {
     --disable-doc \
     --disable-notebook \
     --disable-r \
+    --disable-sagetex \
     --with-system-asttokens=force \
     --with-system-attrs=force \
     --with-system-beniget=force \
-- 
2.44.2