X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fflip.sh;h=8b95ec77ff427d808edf5b0dd81669b659888cc4;hb=e1ca4ab566c6f8317ba8ff0fd27046b82b4acd63;hp=759c4fd07f3f749912a813c071c9f2574c1a6301;hpb=7ee0b85d700d99fc3cba91c37da31e3d01ac0f47;p=pspp

diff --git a/tests/command/flip.sh b/tests/command/flip.sh
index 759c4fd07f..8b95ec77ff 100755
--- a/tests/command/flip.sh
+++ b/tests/command/flip.sh
@@ -3,6 +3,7 @@
 # This program tests the flip command
 
 TEMPDIR=/tmp/pspp-tst-$$
+TESTFILE=$TEMPDIR/`basename $0`.sps
 
 here=`pwd`;
 
@@ -65,7 +66,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 
 
 activity="run program"
-$here/../src/pspp -o raw-ascii $TEMPDIR/flip.stat
+$SUPERVISOR $here/../src/pspp -o raw-ascii $TEMPDIR/flip.stat
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="compare output"