X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fcrosstabs.sh;h=a850750d7f128beececf68b5fec1ccd41d507b4f;hb=5156fa5a8323a16f6b4bbc8950221cdc1d0e023d;hp=4bd6e47e0014e55695f5b01c283b2365958b0760;hpb=8a4b898e180ce7bd8f8d4dbff006c4ada07b0c21;p=pspp-builds.git

diff --git a/tests/bugs/crosstabs.sh b/tests/bugs/crosstabs.sh
index 4bd6e47e..a850750d 100755
--- a/tests/bugs/crosstabs.sh
+++ b/tests/bugs/crosstabs.sh
@@ -73,7 +73,7 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 
-$here/../src/pspp $TEMPDIR/ct.stat
+$SUPERVISOR $here/../src/pspp $TEMPDIR/ct.stat
 if [ $? -ne 0 ] ; then fail ; fi