X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fsample.sh;h=56a1bb30c425cba16c7e0d15d70ba5abc00ead56;hb=60d7d619ee7885ad065f178eb0cf1e5d432b1921;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"