X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fcompute.sh;h=7aa0dbb909850c8fe13d9e392d9b1f58968063b5;hb=b7b01a66a2831dbeb301f1aa9b209cad4435b91e;hp=8d2480d9d9d54ee86646d6148b309cd5fcc042f5;hpb=2ed139f9baf695edf0300f272a31d3ef98038521;p=pspp

diff --git a/tests/command/compute.sh b/tests/command/compute.sh
index 8d2480d9d9..7aa0dbb909 100755
--- a/tests/command/compute.sh
+++ b/tests/command/compute.sh
@@ -71,7 +71,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 
 
 activity="run program"
-$here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/compute.stat
+$SUPERVISOR $here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/compute.stat
 if [ $? -ne 0 ] ; then no_result ; fi
 
 diff -B -b $TEMPDIR/pspp.list - <<EOF