X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Ffile-label.sh;h=4b6ab0e62200ea9af07b5cced5e2e7627ac1f8ec;hb=7ee429e606ed6e711cf8ddd10143e6e9e6bd0dd0;hp=48d8739bf61dbd1bd75eac1cd86334d792213c72;hpb=8021cf8974a46fe82af7b8952e448c0ea6858a48;p=pspp-builds.git diff --git a/tests/command/file-label.sh b/tests/command/file-label.sh index 48d8739b..4b6ab0e6 100755 --- a/tests/command/file-label.sh +++ b/tests/command/file-label.sh @@ -115,7 +115,7 @@ EOF if [ $? -ne 0 ] ; then no_result ; fi activity="run program" -$SUPERVISOR $PSPP --testing-mode -o raw-ascii $TESTFILE +$SUPERVISOR $PSPP --testing-mode $TESTFILE if [ $? -ne 0 ] ; then no_result ; fi # We need to filter out the dates/times