From 6316e8b380a9942cd587f250eb4a69668e52019e Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 2 Dec 2015 18:24:03 +0100
Subject: Adding a target report to test-suite's Makefile to get a short
 summary.

---
 Makefile.build      | 2 +-
 test-suite/Makefile | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile.build b/Makefile.build
index 0455a247bd..98ef81f38c 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 31b2129001..7150d1fd4f 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
 #######################################################################
-- 
cgit v1.2.3