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

diff --git a/tests/command/sample.sh b/tests/command/sample.sh
index 6d3317e43a..56a1bb30c4 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"