X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fcomputebug.sh;h=dfa5990a759cc416209552e6ba60b4f1eb6379cd;hb=1221be814f2f1d67c49849512e0938b059a58009;hp=307244e34cc6ce762a70ed267b4b49313bf20699;hpb=009350385d97d9fba2b33ea68cfe8b1aeebf1529;p=pspp-builds.git diff --git a/tests/bugs/computebug.sh b/tests/bugs/computebug.sh index 307244e3..dfa5990a 100755 --- a/tests/bugs/computebug.sh +++ b/tests/bugs/computebug.sh @@ -9,6 +9,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 # ensure that top_srcdir is absolute top_srcdir=`cd $top_srcdir; pwd` @@ -19,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 } @@ -59,7 +64,7 @@ if [ $? -ne 0 ] ; then no_result ; fi activity="run program" -$SUPERVISOR $top_builddir/src/pspp -o raw-ascii $TEMPDIR/computebug.stat +$SUPERVISOR $PSPP --testing-mode $TEMPDIR/computebug.stat if [ $? -ne 0 ] ; then no_result ; fi