X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fpercentiles.sh;h=83cace7e254fcc28eee29ffc90f114dc7c357d95;hb=bb7fdfcf1c9c380dafc165c556123094ad816825;hp=aa7d81a8031f5168fe4022326de1402929fd3d5e;hpb=722d896a394329ad9da31575439e1a082161fa6b;p=pspp

diff --git a/tests/command/percentiles.sh b/tests/command/percentiles.sh
index aa7d81a803..83cace7e25 100755
--- a/tests/command/percentiles.sh
+++ b/tests/command/percentiles.sh
@@ -70,7 +70,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 
 
 activity="run prog"
-$here/../src/pspp -o raw-ascii $TEMPDIR/percents.stat
+$SUPERVISOR $here/../src/pspp -o raw-ascii $TEMPDIR/percents.stat
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="compare output"