X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fdata-crash.sh;h=b96c476ed9b4e2112cd9d14a02dec509dbef0845;hb=e1ca4ab566c6f8317ba8ff0fd27046b82b4acd63;hp=73bca66ad40b50fe0546f390f864150cee9fdcd5;hpb=30ef6754efa1df7b8f3e30b63e81d739a3a50171;p=pspp

diff --git a/tests/bugs/data-crash.sh b/tests/bugs/data-crash.sh
index 73bca66ad4..b96c476ed9 100755
--- a/tests/bugs/data-crash.sh
+++ b/tests/bugs/data-crash.sh
@@ -4,6 +4,7 @@
 # invalid input
 
 TEMPDIR=/tmp/pspp-tst-$$
+TESTFILE=$TEMPDIR/`basename $0`.sps
 
 here=`pwd`;
 
@@ -54,8 +55,9 @@ EXECUTE.
 EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
-
-$here/../src/pspp $TEMPDIR/ct.stat > /dev/null
+#This must fail
+activity="run program"
+$SUPERVISOR $here/../src/pspp $TEMPDIR/ct.stat > /dev/null
 if [ $? -ne 1 ] ; then fail ; fi