diff options
-rw-r--r-- | Makefile.build | 2 | ||||
-rw-r--r-- | test-suite/Makefile | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index 0455a247b..98ef81f38 100644 --- a/Makefile.build +++ b/Makefile.build @@ -494,7 +494,7 @@ check: validate test-suite test-suite: world $(ALLSTDLIB).v $(MAKE) $(MAKE_TSOPTS) clean $(MAKE) $(MAKE_TSOPTS) all - $(HIDE)if grep -F 'Error!' test-suite/summary.log ; then false; fi + $(MAKE) $(MAKE_TSOPTS) report ################################################################## # partial targets: 1) core ML parts 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 ####################################################################### |