X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fterminate.sh;h=9f3a4955576a4d47dd9e305e691fef74edb3d535;hb=4dc92d7d1ff3368b21a6cac5a4a41fcd4bb81ce4;hp=669a308d3f9ac8cbc3f949be823c9f18d74d1b3d;hpb=44d7b18d5c3d0a806fe1a29658445254f2376600;p=pspp-builds.git diff --git a/tests/bugs/terminate.sh b/tests/bugs/terminate.sh index 669a308d..9f3a4955 100755 --- a/tests/bugs/terminate.sh +++ b/tests/bugs/terminate.sh @@ -57,7 +57,7 @@ rm -f $TEMPDIR/bar.dat if [ $? -ne 0 ] ; then no_result ; fi activity="create program" -cat > $TEMPDIR/foo.sps < $TESTFILE < /dev/null 2> $TEMPDIR/stderr +$SUPERVISOR $here/../src/pspp -o raw-ascii -e /dev/null $TESTFILE 2> $TEMPDIR/stderr if [ $? -eq 0 ] ; then fail ; fi activity="compare stderr"