X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fautorecod.sh;h=01c90904a230f6750b1c0b76f0a19db7aabd5bcd;hb=c87fb686f323f651a1d3f3892c31bf66788916d9;hp=08428c1efe4b4e56bda48808ef7e83d4645105d0;hpb=c1edead52e3b254bc305afd1d647b94bd10ca5d4;p=pspp diff --git a/tests/command/autorecod.sh b/tests/command/autorecod.sh index 08428c1efe..01c90904a2 100755 --- a/tests/command/autorecod.sh +++ b/tests/command/autorecod.sh @@ -73,11 +73,11 @@ EOF if [ $? -ne 0 ] ; then no_result ; fi activity="run program" -$here/../src/pspp -o raw-ascii $TEMPDIR/prog.sps +$SUPERVISOR $here/../src/pspp -o raw-ascii $TEMPDIR/prog.sps if [ $? -ne 0 ] ; then no_result ; fi activity="test output" -diff -B $TEMPDIR/pspp.list - <