changeset 1028:5897a868313e

Jean-Christophe Dubois pointed out that if build.sh doesn't source config, it doesn't get things like NO_NATIVE_COMPILER.
author Rob Landley <rob@landley.net>
date Mon, 05 Apr 2010 18:39:09 -0500
parents ac61473c45e8
children edf0d611a8ba
files build.sh
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/build.sh	Mon Apr 05 02:06:00 2010 -0500
+++ b/build.sh	Mon Apr 05 18:39:09 2010 -0500
@@ -12,6 +12,8 @@
 fi
 ARCH="$1"
 
+[ -e config ] && source config
+
 [ -z "$BUILD" ] && BUILD="build"
 
 # A function to skip stages that have already been done (because the