X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fweight.sh;h=8eb2cf9265cc910d61dcedbf2cb2ab47452796d7;hb=06f9ee45954e5e71fa7f6262dbf37defa1dbf996;hp=3b71997f03d54cc25f400d563e93ae5b9597232e;hpb=726da17feb397b5e0ae5562873ddd12293db878b;p=pspp diff --git a/tests/command/weight.sh b/tests/command/weight.sh index 3b71997f03..8eb2cf9265 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 - <