diff options
Diffstat (limited to 'tests/scripts/makefile')
| -rw-r--r-- | tests/scripts/makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/scripts/makefile b/tests/scripts/makefile new file mode 100644 index 0000000..6354488 --- /dev/null +++ b/tests/scripts/makefile @@ -0,0 +1,16 @@ +.PHONY: all +all: check + +TESTS := +include tests.mk + +.PHONY: check +check: $(TESTS) + @cd reports; for d in $(TESTS) ; do \ + if [ ! -f "$$d/OK" ]; then \ + echo "BROKEN: $$d" ; \ + elif [ "$$(tail -n1 $$d/OK)" != "OK" ]; then \ + echo "FAIL: $$d" ; \ + fi \ + done + @echo "Done." |
