X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=tests%2Fbugs%2Fcase-map.sh;h=17f4fedf64c62560750f3995c89c0ca890147dc3;hb=44daa45c8dcab1198280ebb71d35772a990d3e11;hp=479aea9c80c72a1887db002ef0e700b2070b6ebd;hpb=077c3c1774fd75627783b407169d6884adcbe663;p=pspp-builds.git diff --git a/tests/bugs/case-map.sh b/tests/bugs/case-map.sh index 479aea9c..17f4fedf 100755 --- a/tests/bugs/case-map.sh +++ b/tests/bugs/case-map.sh @@ -22,6 +22,10 @@ export STAT_CONFIG_PATH cleanup() { + if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then + echo "NOT cleaning $TEMPDIR" + return ; + fi cd / rm -rf $TEMPDIR } @@ -55,7 +59,7 @@ mkdir -p $TEMPDIR cd $TEMPDIR activity="create program" -cat > $TEMPDIR/foo.sps < $TESTFILE <