X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=tests%2Fbugs%2Fterminate.sh;h=669a308d3f9ac8cbc3f949be823c9f18d74d1b3d;hb=b021d5d4e83d3ac52ae1eb0490a75a561b0d7228;hp=2f7d79196f702d36bbff83fda38f35f0a1a18619;hpb=b7852df2743416201dc85fd672644799cdd1b7b5;p=pspp-builds.git

diff --git a/tests/bugs/terminate.sh b/tests/bugs/terminate.sh
index 2f7d7919..669a308d 100755
--- a/tests/bugs/terminate.sh
+++ b/tests/bugs/terminate.sh
@@ -13,11 +13,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
 }