X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fhtml-frequency.sh;h=474735fc74ba0bec85bfcdefcfdb36ffd187ef89;hb=c48bf64ab648b9b761a8e0774db3672d8009c64c;hp=dcfd41662ca9bd5caeb7b1329dc0ccad261185be;hpb=c1edead52e3b254bc305afd1d647b94bd10ca5d4;p=pspp

diff --git a/tests/bugs/html-frequency.sh b/tests/bugs/html-frequency.sh
index dcfd41662c..474735fc74 100755
--- a/tests/bugs/html-frequency.sh
+++ b/tests/bugs/html-frequency.sh
@@ -57,6 +57,8 @@ begin data.
 3 4
 end data.
 
+list.
+
 frequencies v1 v2.
 EOF
 if [ $? -ne 0 ] ; then no_result ; fi
@@ -64,7 +66,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 cd $TEMPDIR
 
 activity="run data"
-$here/../src/pspp -o html $TEMPDIR/ff.stat
+$SUPERVISOR $here/../src/pspp -o html $TEMPDIR/ff.stat
 if [ $? -ne 0 ] ; then fail ; fi