X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Finput-crash.sh;h=16d15a00208b11c3684d5e5c9e6449299b7241a1;hb=65e4b2dda3939a9c35913a79b7e79c3120713a6c;hp=18461c0093971079a6e0d474258cd9d45149216d;hpb=507c37f9590b890aa36e020e93aecd92bff774a3;p=pspp-builds.git diff --git a/tests/bugs/input-crash.sh b/tests/bugs/input-crash.sh index 18461c00..16d15a00 100755 --- a/tests/bugs/input-crash.sh +++ b/tests/bugs/input-crash.sh @@ -11,7 +11,8 @@ 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() @@ -20,6 +21,7 @@ cleanup() echo "NOT cleaning $TEMPDIR" return ; fi + cd / rm -rf $TEMPDIR }