diff -r 97a897d32dfc -r c0deea64ce64 tests/run-tests --- a/tests/run-tests Wed Jun 15 07:07:05 2005 +0100 +++ b/tests/run-tests Wed Jun 15 00:02:13 2005 -0800 @@ -28,6 +28,7 @@ echo $f output changed: diff -u $H/$f.out .out && true cp .out $H/$f.err + fail=1 fi cd $H