X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fterminate.sh;h=9f3a4955576a4d47dd9e305e691fef74edb3d535;hb=68f08c4bb53fcde16035b622bdb6e9529f9cf3ae;hp=ee3ffa878be161d3bc37a05275282d6b6f10c2a7;hpb=f5574c6264163859a8eb94ab1e33bcc1b61fce5f;p=pspp diff --git a/tests/bugs/terminate.sh b/tests/bugs/terminate.sh index ee3ffa878b..9f3a495557 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 < $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"