X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fno_case_size.sh;h=0c94051a1eb8e5e8098e42d5b50cee7b5938a483;hb=7c2fa3735ac1115b6c1ad4b5e0613673de2faf4c;hp=e3fc2774d4b71b1fb25ca057b8ac54a958449f4d;hpb=ffcce720ea84f37862f8d61e1dc0fa603994bf63;p=pspp-builds.git diff --git a/tests/command/no_case_size.sh b/tests/command/no_case_size.sh index e3fc2774..0c94051a 100755 --- a/tests/command/no_case_size.sh +++ b/tests/command/no_case_size.sh @@ -68,7 +68,7 @@ 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 activity="compare output"