X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Flag_crash.sh;h=ae3c3748a34e069846326eb485e5477c553befc4;hb=baf657198fcf0cabe289246dc07a82da67c86f5b;hp=0ed8e07707fec5c6832643b11907e442eb86ab26;hpb=65a4e29574b67921ea899b6a1d45806dca11db00;p=pspp diff --git a/tests/bugs/lag_crash.sh b/tests/bugs/lag_crash.sh index 0ed8e07707..ae3c3748a3 100755 --- a/tests/bugs/lag_crash.sh +++ b/tests/bugs/lag_crash.sh @@ -70,7 +70,7 @@ if [ $? -ne 0 ] ; then no_result ; fi activity="run_program" -$SUPERVISOR $PSPP $TESTFILE > /dev/null +$SUPERVISOR $PSPP $TESTFILE if [ $? -ne 0 ] ; then fail ; fi