X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Flag_crash.sh;h=09f6bc78dc6a2ab1632353479565725c60463392;hb=dcd7e905755e831af27550a052cd9f2c7c0aa427;hp=72683b282a9749ec004f97197411fe3e68c0222e;hpb=12f1ba95a6eb660bf60b8e6a1bb09ecffee16630;p=pspp

diff --git a/tests/bugs/lag_crash.sh b/tests/bugs/lag_crash.sh
index 72683b282a..09f6bc78dc 100755
--- a/tests/bugs/lag_crash.sh
+++ b/tests/bugs/lag_crash.sh
@@ -10,11 +10,13 @@ here=`pwd`;
 # ensure that top_srcdir is absolute
 cd $top_srcdir; top_srcdir=`pwd`
 
-export STAT_CONFIG_PATH=$top_srcdir/config
+STAT_CONFIG_PATH=$top_srcdir/config
+export STAT_CONFIG_PATH
 
 
 cleanup()
 {
+     cd /
      rm -rf $TEMPDIR
 }