X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Falpha-freq.sh;h=102f98bae090ffa89cb38c4df4b35e558015a7ba;hb=721f67e477ee5050961020ed5afd8e0daf42bf2d;hp=f292563b6bec12f8aa899d74758eb68fdc690e2b;hpb=fd182fe0957356477b4fd0703f2f45ebb600fa81;p=pspp

diff --git a/tests/bugs/alpha-freq.sh b/tests/bugs/alpha-freq.sh
index f292563b6b..102f98bae0 100755
--- a/tests/bugs/alpha-freq.sh
+++ b/tests/bugs/alpha-freq.sh
@@ -60,7 +60,7 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 
-$here/../src/pspp $TEMPDIR/prog.sps
+$SUPERVISOR $here/../src/pspp $TEMPDIR/prog.sps
 if [ $? -ne 0 ] ; then fail ; fi