X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fweight.sh;h=df34b49935da4637bb496af2cf26beda0ad1dde2;hb=74a57f26f1458b28a0fddbb9f46004ac8f4d9c30;hp=3b71997f03d54cc25f400d563e93ae5b9597232e;hpb=726da17feb397b5e0ae5562873ddd12293db878b;p=pspp-builds.git diff --git a/tests/command/weight.sh b/tests/command/weight.sh index 3b71997f..df34b499 100755 --- a/tests/command/weight.sh +++ b/tests/command/weight.sh @@ -58,12 +58,12 @@ 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" diff -B -b $TEMPDIR/pspp.list - <