X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Falpha-freq.sh;h=102f98bae090ffa89cb38c4df4b35e558015a7ba;hb=c87fb686f323f651a1d3f3892c31bf66788916d9;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