X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fsys-info.sh;h=31025a0cfe7d02fa811c2fcedfa761e80f974466;hb=37597beca4a11edba50b847932fdfeca3a648fa2;hp=96420ae055b20f00da8b7e9fa3b5a94fcc47231d;hpb=c0ed03fd27298cf2b18f0fb373e919ab8b4ae4f4;p=pspp

diff --git a/tests/command/sys-info.sh b/tests/command/sys-info.sh
index 96420ae055..31025a0cfe 100755
--- a/tests/command/sys-info.sh
+++ b/tests/command/sys-info.sh
@@ -61,7 +61,7 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="run program 1"
-$here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/save.stat
+$SUPERVISOR $here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/save.stat
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="create program 2"
@@ -73,7 +73,7 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="run program 2"
-$here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/read.stat
+$SUPERVISOR $here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/read.stat
 if [ $? -ne 0 ] ; then no_result ; fi