X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fval-labs.sh;h=719a67350cba0723c045e7cf24b4f26568a07313;hb=c0ce908d11fa172e1d461f83156c27345c259a75;hp=b1e7abb0e689ec29e8bababc8a0ebc264386d6bf;hpb=b7852df2743416201dc85fd672644799cdd1b7b5;p=pspp-builds.git

diff --git a/tests/bugs/val-labs.sh b/tests/bugs/val-labs.sh
index b1e7abb0..719a6735 100755
--- a/tests/bugs/val-labs.sh
+++ b/tests/bugs/val-labs.sh
@@ -12,11 +12,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
 }