X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fdescriptives.sh;h=eaa39fcc9b44ac5ecb1aa4e15686e09cea9a6c5a;hb=b70dc1a6b7b15967ceb111f80dff65c44f0fac57;hp=20dfeeac7dd3d60c29daf922596a3fdbc6deec62;hpb=c0ed03fd27298cf2b18f0fb373e919ab8b4ae4f4;p=pspp

diff --git a/tests/command/descriptives.sh b/tests/command/descriptives.sh
index 20dfeeac7d..eaa39fcc9b 100755
--- a/tests/command/descriptives.sh
+++ b/tests/command/descriptives.sh
@@ -70,7 +70,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 
 
 activity="run program"
-$here/../src/pspp -o raw-ascii $TEMPDIR/descript.stat
+$SUPERVISOR $here/../src/pspp -o raw-ascii $TEMPDIR/descript.stat
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="compare output"