X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fsplit-file.sh;h=6b9a5ea38979991399875bbcd9ff254f976dda86;hb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;hp=666f39dd3ba58f136812adb20d7bd08d398b1b4d;hpb=b26094b483f97d89025df65a30523a65e716790a;p=pspp

diff --git a/tests/command/split-file.sh b/tests/command/split-file.sh
index 666f39dd3b..6b9a5ea389 100755
--- a/tests/command/split-file.sh
+++ b/tests/command/split-file.sh
@@ -71,7 +71,7 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="run program"
-$here/../src/pspp -o raw-ascii $TEMPDIR/split.stat
+$SUPERVISOR $here/../src/pspp -o raw-ascii $TEMPDIR/split.stat
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="compare results"