]> gitweb.michael.orlitzky.com - bash.d.git/commitdiff
sage: set SAGE_DEBUG=no.
authorMichael Orlitzky <michael@orlitzky.com>
Sat, 18 Jan 2020 01:14:52 +0000 (20:14 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Sat, 18 Jan 2020 01:14:52 +0000 (20:14 -0500)
This is a trinary variable, and the default (unset) leaves debugging
symbols installed.

sage

diff --git a/sage b/sage
index e1dd0bd8528cb666f1ba46f053ff24fc8a7ffff6..3c6eff885251086d0696011872f3ab80ba3b6605 100644 (file)
--- a/sage
+++ b/sage
@@ -2,3 +2,6 @@
 
 # This is the default, but let's make sure.
 export SAGE_INSTALL_GCC=no
+
+# This is trinary, ha ha!
+export SAGE_DEBUG=no