X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fget-no-file.sh;h=d047b76758a332ff398ab56ecc5d65c2d4f80c19;hb=45fb19608ffa759f7a0221878d1a9a72c6727dc7;hp=45b688276ca78507d4b5dc7e2a36d003b2887d04;hpb=2d4dd90964061defa92972156ae2a12323708519;p=pspp-builds.git diff --git a/tests/bugs/get-no-file.sh b/tests/bugs/get-no-file.sh index 45b68827..d047b767 100755 --- a/tests/bugs/get-no-file.sh +++ b/tests/bugs/get-no-file.sh @@ -21,6 +21,10 @@ export STAT_CONFIG_PATH cleanup() { + if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then + echo "NOT cleaning $TEMPDIR" + return ; + fi cd / rm -rf $TEMPDIR } @@ -64,7 +68,7 @@ if [ $? -ne 0 ] ; then no_result ; fi # We use the stdinput here, because the bug seems to manifest itself only in # interactive mode. activity="run program" -cat $TESTFILE | $SUPERVISOR $PSPP --testing-mode -o raw-ascii > /dev/null +cat $TESTFILE | $SUPERVISOR $PSPP --testing-mode > /dev/null if [ $? -ne 0 ] ; then fail ; fi pass