X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fcase-map.sh;h=ed10bff2f61831f0cb0ae4d4627d97c93f9b5e63;hb=e05ae8e87fdc4eb8a7d7172a9a08950387e8be05;hp=acc19dcfc3cc5bd9d1ade0e3ae7c7881135c9ed7;hpb=9aff19b717bcc242e16d04c34f348fd79ebdd685;p=pspp-builds.git diff --git a/tests/bugs/case-map.sh b/tests/bugs/case-map.sh index acc19dcf..ed10bff2 100755 --- a/tests/bugs/case-map.sh +++ b/tests/bugs/case-map.sh @@ -11,7 +11,7 @@ TESTFILE=$TEMPDIR/`basename $0`.sps if [ -z "$top_builddir" ] ; then top_builddir=. ; fi if [ -z "$top_srcdir" ] ; then top_srcdir=. ; fi top_builddir=`cd $top_builddir; pwd` -PSPP=$top_builddir/src/ui/terminal/pspp +PSPP=$top_builddir/src/ui/terminal/pspp$EXEEXT # ensure that top_srcdir is absolute top_srcdir=`cd $top_srcdir; pwd` @@ -22,6 +22,10 @@ export STAT_CONFIG_PATH cleanup() { + if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then + echo "NOT cleaning $TEMPDIR" + return ; + fi cd / rm -rf $TEMPDIR } @@ -55,7 +59,7 @@ mkdir -p $TEMPDIR cd $TEMPDIR activity="create program" -cat > $TEMPDIR/foo.sps < $TESTFILE <