X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fdata-list.sh;h=7d3890c3430bf5fe34c22467cfcc9338bf4ff6f7;hb=1eb005826d07b540f8595c6ffab0781dea9e5f6b;hp=fbad9c80d509a2d7e461f18921886518883aa760;hpb=9aff19b717bcc242e16d04c34f348fd79ebdd685;p=pspp-builds.git diff --git a/tests/command/data-list.sh b/tests/command/data-list.sh index fbad9c80..7d3890c3 100755 --- a/tests/command/data-list.sh +++ b/tests/command/data-list.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 }