diff sources/include.sh @ 615:7523d1f3b818

Some slight paranoia against multiple host-tools.sh runs that get interrupted in the middle. (Yeah, in general that's not guaranteed to work, but still...)
author Rob Landley <rob@landley.net>
date Tue, 10 Feb 2009 21:14:09 -0600
parents ab76d4cdd392
children 2a2f5c529633
line wrap: on
line diff
--- a/sources/include.sh	Mon Feb 09 15:08:59 2009 -0600
+++ b/sources/include.sh	Tue Feb 10 21:14:09 2009 -0600
@@ -31,6 +31,10 @@
 
 mkdir -p "${SRCDIR}" || dienow
 
+# Retain old $PATH in case we re-run host-tools.sh with different options.
+
+export OLDPATH="$PATH"
+
 # Adjust $PATH
 
 if [ "$PATH" != "$HOSTTOOLS" ]