X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fif_crash.sh;h=c2f3798040ac85d4c65af05b7d71c1a2f51f7f42;hb=c434e369b6695f8135a2914e9a425edcdd09ef35;hp=a2bb34fa0c4ae04a9823d7cf7e0e6d6e1a7a2035;hpb=067d02c2b8c591efc368cf5127c497313d7a373f;p=pspp

diff --git a/tests/bugs/if_crash.sh b/tests/bugs/if_crash.sh
index a2bb34fa0c..c2f3798040 100755
--- a/tests/bugs/if_crash.sh
+++ b/tests/bugs/if_crash.sh
@@ -11,11 +11,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
 }