X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fdouble-frequency.sh;h=e52b7185f6de352250b80075e461e96965cfd5b8;hb=60d7d619ee7885ad065f178eb0cf1e5d432b1921;hp=7509efa0f309fb49ea4d9d63202608e136a12ad5;hpb=c1edead52e3b254bc305afd1d647b94bd10ca5d4;p=pspp

diff --git a/tests/bugs/double-frequency.sh b/tests/bugs/double-frequency.sh
index 7509efa0f3..e52b7185f6 100755
--- a/tests/bugs/double-frequency.sh
+++ b/tests/bugs/double-frequency.sh
@@ -66,7 +66,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 cd $TEMPDIR
 
 activity="run data"
-$here/../src/pspp  $TEMPDIR/ff.stat
+$SUPERVISOR $here/../src/pspp  $TEMPDIR/ff.stat
 if [ $? -ne 0 ] ; then fail ; fi