From 130c8b4d5072fcbdb709880ccb7d1860c0ac25b0 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Tue, 23 Aug 2022 16:04:22 -0400
Subject: [PATCH] sage.sh: pass --disable-editable to ./configure.

This is how it always was, and it was always correct.
---
 sage.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sage.sh b/sage.sh
index 77e7e6a..d98a780 100644
--- a/sage.sh
+++ b/sage.sh
@@ -24,6 +24,7 @@ export SAGE_DEBUG=no
 sage-configure() {
   ./configure \
     --enable-download-from-upstream-url \
+    --disable-editable \
     --disable-cvxopt \
     --disable-doc \
     --disable-notebook \
-- 
2.43.2