X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fweight.sh;h=826a9a1cc089fb70d75185b45c1be2646fc08f10;hb=60d7d619ee7885ad065f178eb0cf1e5d432b1921;hp=3b71997f03d54cc25f400d563e93ae5b9597232e;hpb=726da17feb397b5e0ae5562873ddd12293db878b;p=pspp

diff --git a/tests/command/weight.sh b/tests/command/weight.sh
index 3b71997f03..826a9a1cc0 100755
--- a/tests/command/weight.sh
+++ b/tests/command/weight.sh
@@ -58,7 +58,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 
 
 activity="run program"
-$here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/weight.stat
+$SUPERVISOR $here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/weight.stat
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="compare results"