X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Ft-test-groups.sh;h=1173dcc2613d33bb6b7f27485be2301cb95d013c;hb=06f9ee45954e5e71fa7f6262dbf37defa1dbf996;hp=487ff30b3d4c6fec68ebf6834d79920d7ea05960;hpb=92bfefccd465052e492f669ce561aa25b0110283;p=pspp-builds.git

diff --git a/tests/command/t-test-groups.sh b/tests/command/t-test-groups.sh
index 487ff30b..1173dcc2 100755
--- a/tests/command/t-test-groups.sh
+++ b/tests/command/t-test-groups.sh
@@ -70,7 +70,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"