X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fstats%2Fdescript-missing.sh;h=9de2770e1e5ae3bf1007636d84db803278926f19;hb=c4942b88d3090c38f0844af32c0c8d5be30809de;hp=87593430150954b4f65ca65395c36f7785ac0fd8;hpb=9aff19b717bcc242e16d04c34f348fd79ebdd685;p=pspp-builds.git diff --git a/tests/stats/descript-missing.sh b/tests/stats/descript-missing.sh index 87593430..9de2770e 100755 --- a/tests/stats/descript-missing.sh +++ b/tests/stats/descript-missing.sh @@ -21,6 +21,10 @@ export LANG cleanup() { + if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then + echo "NOT cleaning $TEMPDIR" + return ; + fi cd / rm -rf $TEMPDIR } @@ -94,37 +98,37 @@ diff -b $TEMPDIR/pspp.list - <