X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=tests%2Fcommand%2Ft-test-1s.sh;h=b440d55561374fadfb5e50797256509bebb9d9f6;hb=eeb3352d718b0cd85afab3f7a7466fcac7791c1c;hp=cd1b4ad55fcf4a38186520f7bdd120620920719d;hpb=2d8fbab3accc90662e24dc7da4c7fceff1668313;p=pspp

diff --git a/tests/command/t-test-1s.sh b/tests/command/t-test-1s.sh
index cd1b4ad55f..b440d55561 100755
--- a/tests/command/t-test-1s.sh
+++ b/tests/command/t-test-1s.sh
@@ -63,7 +63,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 
 
 activity="run program"
-$here/../src/pspp -o raw-ascii $TEMPDIR/out.stat
+$SUPERVISOR $here/../src/pspp -o raw-ascii $TEMPDIR/out.stat
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="compare output"