X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Floop.sh;h=15f43ec738d7914a71f7a22dfc815b73814ff455;hb=c48bf64ab648b9b761a8e0774db3672d8009c64c;hp=474c89947f5fcdfa75e7bb26fb79c094563ef10d;hpb=af3d0cc241b60028b16ea8173d9496649af9e425;p=pspp-builds.git

diff --git a/tests/command/loop.sh b/tests/command/loop.sh
index 474c8994..15f43ec7 100755
--- a/tests/command/loop.sh
+++ b/tests/command/loop.sh
@@ -63,7 +63,7 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="run program"
-$here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/loop.stat > $TEMPDIR/stdout
+$SUPERVISOR $here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/loop.stat > $TEMPDIR/stdout
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="compare stdout"