X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fweight.sh;h=6d90315652246bb061504b15db42a7d68880ec29;hb=ff46735d4c81b49fa17c8bd26f3f5dd7bde9a15d;hp=01bd0a318c5814b2056850c45573cfbffa2e20c2;hpb=9aff19b717bcc242e16d04c34f348fd79ebdd685;p=pspp-builds.git

diff --git a/tests/command/weight.sh b/tests/command/weight.sh
index 01bd0a31..6d903156 100755
--- a/tests/command/weight.sh
+++ b/tests/command/weight.sh
@@ -23,7 +23,10 @@ export LANG
 
 cleanup()
 {
-     if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then return ; fi
+     if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then 
+	echo "NOT cleaning $TEMPDIR"
+	return ; 
+     fi
      cd /
      rm -rf $TEMPDIR
 }