X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fformats%2Ffloat-format.sh;h=dee97909567b6bfcfd424dc9c673f8fea89dff56;hb=f550aee00a62fe1d8baf62d83cd7efef6cc2ee92;hp=2a6b608740e1e248895056a043513f0bcdf3614d;hpb=af4066391f20365e210460a736b1b02efe194da6;p=pspp

diff --git a/tests/formats/float-format.sh b/tests/formats/float-format.sh
index 2a6b608740..dee9790956 100755
--- a/tests/formats/float-format.sh
+++ b/tests/formats/float-format.sh
@@ -149,7 +149,7 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="run program"
-$SUPERVISOR $PSPP --testing-mode $TEMPDIR/float-format.pspp
+$SUPERVISOR $PSPP --testing-mode -o pspp.csv $TEMPDIR/float-format.pspp
 if [ $? -ne 0 ] ; then fail ; fi
 
 pass