X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Flist.sh;h=c82dd27346c8b951b405bb69cac191ecdb67f0b4;hb=f85548f27a1958bb6c84a6917b874c537f4c0bd6;hp=4dc92dd55c686778b9a9460e21b09f7d5e39e235;hpb=726da17feb397b5e0ae5562873ddd12293db878b;p=pspp

diff --git a/tests/command/list.sh b/tests/command/list.sh
index 4dc92dd55c..c82dd27346 100755
--- a/tests/command/list.sh
+++ b/tests/command/list.sh
@@ -75,7 +75,7 @@ foobar
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="run program"
-$here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/list.stat
+$SUPERVISOR $here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/list.stat
 if [ $? -ne 0 ] ; then no_result ; fi