X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fsample.sh;h=56a1bb30c425cba16c7e0d15d70ba5abc00ead56;hb=c48bf64ab648b9b761a8e0774db3672d8009c64c;hp=6d3317e43a70af5a73228a60a4145581924f9d26;hpb=3c59c6fea2ea2d7b0d3aa5881b229421f0c70217;p=pspp-builds.git

diff --git a/tests/command/sample.sh b/tests/command/sample.sh
index 6d3317e4..56a1bb30 100755
--- a/tests/command/sample.sh
+++ b/tests/command/sample.sh
@@ -70,7 +70,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 
 
 activity="run program"
-$here/../src/pspp -o raw-ascii --testing-mode $TEMPDIR/sample.stat 
+$SUPERVISOR $here/../src/pspp -o raw-ascii --testing-mode $TEMPDIR/sample.stat 
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="create head"