X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Ffilter.sh;h=1214c72894a722a98e541a568494928744677399;hb=06f9ee45954e5e71fa7f6262dbf37defa1dbf996;hp=180b59f68a99f5a59ba046c05344cb559b72248b;hpb=c324bad16b90b760d990697fccca863a20a54c23;p=pspp

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