X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Ffile-label.sh;h=931d0c11af14420816fc21c183868760300717a9;hb=2ad415080cf54a0edde466fc954b7e207779b95e;hp=eb77926602c2e971f2f71e54d796f3f40d962860;hpb=af444ed55b08448b9a44cf54cd20af324b0ab4c4;p=pspp diff --git a/tests/command/file-label.sh b/tests/command/file-label.sh index eb77926602..931d0c11af 100755 --- a/tests/command/file-label.sh +++ b/tests/command/file-label.sh @@ -104,7 +104,7 @@ EOF if [ $? -ne 0 ] ; then no_result ; fi activity="run program" -$here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/file-lab.stat +$SUPERVISOR $here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/file-lab.stat if [ $? -ne 0 ] ; then no_result ; fi # We need to filter out the dates/times @@ -112,6 +112,7 @@ activity="date filter" grep -v 'Document entered' $TEMPDIR/pspp.list > $TEMPDIR/pspp.filtered if [ $? -ne 0 ] ; then no_result ; fi + activity="compare results" diff -b -B $TEMPDIR/pspp.filtered - <