diff options
Diffstat (limited to 'tests/scripts/makefile')
| -rw-r--r-- | tests/scripts/makefile | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/tests/scripts/makefile b/tests/scripts/makefile index 63150b1..2161427 100644 --- a/tests/scripts/makefile +++ b/tests/scripts/makefile @@ -40,11 +40,12 @@ include tests.mk .PHONY: check check: $(TESTS) - @cd reports; for d in * ; do \ - if [ ! -f "$$d/OK" ]; then \ - echo "BROKEN: $$d" ; \ - elif [ "$$(tail -n1 $$d/OK)" != "OK" ]; then \ - echo "FAIL: $$d" ; \ - fi \ + @cd reports; for d in * ; do \ + if [ ! -f "$$d/log" ]; then \ + echo "BROKEN: $$d" ; \ + elif grep 'BUG|ERR' $$d/log \ + || [ "$$(tail -n1 $$d/log | tr -d '\r')" != "OK" ]; then \ + echo "FAIL: $$d" ; \ + fi \ done @echo "Done." |