From: Michael Orlitzky <michael@orlitzky.com>
Date: Tue, 23 Aug 2022 20:04:22 +0000 (-0400)
Subject: sage.sh: pass --disable-editable to ./configure.
X-Git-Url: http://gitweb.michael.orlitzky.com/?p=bash.d.git;a=commitdiff_plain;h=130c8b4d5072fcbdb709880ccb7d1860c0ac25b0

sage.sh: pass --disable-editable to ./configure.

This is how it always was, and it was always correct.
---

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 \