diff --git a/test/run b/test/run index 2dba6fc8cbe..209e707d525 100755 --- a/test/run +++ b/test/run @@ -38,4 +38,7 @@ if ! diff run.out golden.out then failed=1 fi + +echo 2>&1 $(grep -c '^BUG' run.out) tests are failing incorrectly + exit $failed