X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Ferase.sh;h=ba65d474e6abe925dce0b278925f9f17f4fb26b8;hb=eeb3352d718b0cd85afab3f7a7466fcac7791c1c;hp=d5f69102336df73925e1db958f89ba801221c9e8;hpb=1dc8717737084b93af2cd212e84edbd2cce1046c;p=pspp

diff --git a/tests/command/erase.sh b/tests/command/erase.sh
index d5f6910233..ba65d474e6 100755
--- a/tests/command/erase.sh
+++ b/tests/command/erase.sh
@@ -70,7 +70,7 @@ if [ ! -f $TEMPDIR/foobar ] ; then fail ; fi
 
 # This command must fail
 activity="run prog 1"
-$here/../src/pspp $TEMPDIR/foo.sps > /dev/null
+$SUPERVISOR $here/../src/pspp $TEMPDIR/foo.sps > /dev/null
 if [ $? -eq 0 ] ; then fail ; fi
 
 
@@ -84,7 +84,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 
 
 activity="run prog 1"
-$here/../src/pspp $TEMPDIR/foo.sps
+$SUPERVISOR $here/../src/pspp $TEMPDIR/foo.sps
 if [ $? -ne 0 ] ; then fail ; fi
 
 # foobar should now be gone