changeset 356:25b18621de1b

Some scripts don't want the $PATH edited by include.sh.
author Rob Landley <rob@landley.net>
date Sat, 05 Jul 2008 23:34:01 -0500
parents f6e1d29086c1
children 5c61d556fe0c
files emulator-build.sh
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/emulator-build.sh	Fri Jul 04 06:12:59 2008 -0500
+++ b/emulator-build.sh	Sat Jul 05 23:34:01 2008 -0500
@@ -1,6 +1,8 @@
 #!/bin/bash
 
+SAVEPATH="$PATH"
 source include.sh
+PATH="$SAVEPATH"
 
 cd "${BUILD}/system-image-$ARCH" &&
 PATH="$HOSTTOOLS:$PATH" ./run-with-distcc.sh "$CROSS"