X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fdouble-frequency.sh;h=c97521ba2c671e031bfd403cc6a0907ec357ea72;hb=db5df54124af56dc1dfce71f839d78da2b49e346;hp=9e90edc63c562fea8a2c3a2b7a44233f73dbf347;hpb=b7852df2743416201dc85fd672644799cdd1b7b5;p=pspp

diff --git a/tests/bugs/double-frequency.sh b/tests/bugs/double-frequency.sh
index 9e90edc63c..c97521ba2c 100755
--- a/tests/bugs/double-frequency.sh
+++ b/tests/bugs/double-frequency.sh
@@ -12,11 +12,13 @@ here=`pwd`;
 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
 }