X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fstats%2Fdescript-basic.sh;h=a1f4a64e6aaf18d52fae489164f38f56e1c250c1;hb=4f6a8477ebd647fb96747790cc89ec5f26d68a07;hp=765172b2870935993d62155d3deb3736560b36c4;hpb=9aff19b717bcc242e16d04c34f348fd79ebdd685;p=pspp-builds.git diff --git a/tests/stats/descript-basic.sh b/tests/stats/descript-basic.sh index 765172b2..a1f4a64e 100755 --- a/tests/stats/descript-basic.sh +++ b/tests/stats/descript-basic.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 } @@ -107,27 +111,27 @@ diff -b $TEMPDIR/pspp.list - <