X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fcount.sh;h=7e9d7818773a34f7114eadfee95e329149c3e213;hb=c48bf64ab648b9b761a8e0774db3672d8009c64c;hp=345e2527733f5b32d3fc34a7c2f31bd82cda0e00;hpb=3c59c6fea2ea2d7b0d3aa5881b229421f0c70217;p=pspp

diff --git a/tests/command/count.sh b/tests/command/count.sh
index 345e252773..7e9d781877 100755
--- a/tests/command/count.sh
+++ b/tests/command/count.sh
@@ -65,7 +65,7 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 
-$here/../src/pspp -o raw-ascii $TEMPDIR/count.stat
+$SUPERVISOR $here/../src/pspp -o raw-ascii $TEMPDIR/count.stat
 if [ $? -ne 0 ] ; then no_result ; fi