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 77e7e6a9224edaf8d474ad0d1ba38bde3da63f3a..d98a780832265c702ea718548ecf4a29ba575198 100644 (file)
--- 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 \