X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fbig-input.sh;h=3c9365dfce520d6ea7c4cf7154a59c0fa90a343b;hb=3bbb4370239deb29ebbf813d258aef6249e2a431;hp=9e133556a3b7b0d490da3900557a2db3fa59c279;hpb=9aff19b717bcc242e16d04c34f348fd79ebdd685;p=pspp-builds.git diff --git a/tests/bugs/big-input.sh b/tests/bugs/big-input.sh index 9e133556..3c9365df 100755 --- a/tests/bugs/big-input.sh +++ b/tests/bugs/big-input.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 <