# HG changeset patch
# User Leif Leonhardy
# Date 1310012314 -7200
# Node ID 7be38304209ccf0ccb32ee5bb1782f00abc9c05a
# Parent eb463c4f45e2afcc6d083d0df24e5e5d7166661f
#11021: Fix BUILD not getting set when sage-env is sourced a second time by a different script.
This bug was introduced (or became effective) by #10469, which implemented
sourcing sage-env (effectively) only once.
sage-spkg relies on BUILD being set (to "build"), so will fail if it is
called indirectly through sage-sage, which will already have sourced
sage-env.
diff -r eb463c4f45e2 -r 7be38304209c sage-env
--- a/sage-env Thu Jul 07 00:06:59 2011 +0200
+++ b/sage-env Thu Jul 07 06:18:34 2011 +0200
@@ -126,7 +126,7 @@
fi
# Setting Sage-related location environment variables.
-BUILD=build
+BUILD=build && export BUILD
SAGE_PACKAGES="$SAGE_ROOT/spkg" && export SAGE_PACKAGES
SAGE_LOCAL="$SAGE_ROOT/local" && export SAGE_LOCAL
SAGE_DATA="$SAGE_ROOT/data" && export SAGE_DATA