]> gitweb.michael.orlitzky.com - bash.d.git/commit
sage.sh: pass --disable-editable to ./configure.
authorMichael Orlitzky <michael@orlitzky.com>
Tue, 23 Aug 2022 20:04:22 +0000 (16:04 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Tue, 23 Aug 2022 20:04:22 +0000 (16:04 -0400)
commit130c8b4d5072fcbdb709880ccb7d1860c0ac25b0
tree5cebb162abfee60b357708163fbde734aa753c80
parent60cb2aa020387bf4d698f87dfd1c0cc62f7cab09
sage.sh: pass --disable-editable to ./configure.

This is how it always was, and it was always correct.
sage.sh