X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fstats%2Fdescript-mean-bug.sh;h=72d7841f33119726a95dace55e03d8732f577b8f;hb=af4066391f20365e210460a736b1b02efe194da6;hp=defe833f041e029f58391e2ea241bebb9e84ffe7;hpb=2b1e8448aee0d326ad5c2f805c27ee4f39b4a447;p=pspp-builds.git diff --git a/tests/stats/descript-mean-bug.sh b/tests/stats/descript-mean-bug.sh index defe833f..72d7841f 100755 --- a/tests/stats/descript-mean-bug.sh +++ b/tests/stats/descript-mean-bug.sh @@ -20,6 +20,10 @@ export STAT_CONFIG_PATH cleanup() { + if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then + echo "NOT cleaning $TEMPDIR" + return ; + fi cd / rm -rf $TEMPDIR }