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

diff --git a/tests/command/filter.sh b/tests/command/filter.sh
index 180b59f68a..151e43f27b 100755
--- a/tests/command/filter.sh
+++ b/tests/command/filter.sh
@@ -3,6 +3,7 @@
 # This program tests ....
 
 TEMPDIR=/tmp/pspp-tst-$$
+TESTFILE=$TEMPDIR/`basename $0`.sps
 
 here=`pwd`;
 
@@ -75,7 +76,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