X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fcrosstabs.sh;h=a850750d7f128beececf68b5fec1ccd41d507b4f;hb=c48bf64ab648b9b761a8e0774db3672d8009c64c;hp=4bd6e47e0014e55695f5b01c283b2365958b0760;hpb=3c59c6fea2ea2d7b0d3aa5881b229421f0c70217;p=pspp

diff --git a/tests/bugs/crosstabs.sh b/tests/bugs/crosstabs.sh
index 4bd6e47e00..a850750d7f 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