diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-12-02 18:24:03 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-12-02 18:34:12 +0100 |
commit | 6316e8b380a9942cd587f250eb4a69668e52019e (patch) | |
tree | 00116e64de7adc858c56e751944f2ad7c43fe837 /test-suite/Makefile | |
parent | a80351f98adeada2b9219679de130e28c1b41479 (diff) |
Adding a target report to test-suite's Makefile to get a short summary.
Diffstat (limited to 'test-suite/Makefile')
-rw-r--r-- | test-suite/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index 31b212900..7150d1fd4 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -154,6 +154,9 @@ summary.log: $(SHOW) SUMMARY $(HIDE)$(MAKE) --quiet summary > "$@" +report: summary.log + $(HIDE)if grep -F 'Error!' summary.log ; then false; fi + ####################################################################### # Regression (and progression) tests ####################################################################### |