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

diff --git a/tests/command/compute.sh b/tests/command/compute.sh
index 0e3655cebf..7aa0dbb909 100755
--- a/tests/command/compute.sh
+++ b/tests/command/compute.sh
@@ -70,7 +70,8 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 
-$here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/compute.stat
+activity="run program"
+$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