[PATCH] print summary from "make check"

[Tom Tromey <tromey@redhat.com>]

Pedro pointed out that it is handy for "make check" to print a summary
of the results.  This happens in the check-single case and also if you
invoke runtest by hand.

This patch implements the same thing for check-parallel.

2013-11-06  Tom Tromey  <tromey@redhat.com>

	* Makefile.in (check-parallel): Print summary from gdb.sum.
---
 gdb/testsuite/ChangeLog   | 4 ++++
 gdb/testsuite/Makefile.in | 1 +
 2 files changed, 5 insertions(+)

diff --git a/gdb/testsuite/Makefile.in b/gdb/testsuite/Makefile.in
index 93e9b5b..72c2441 100644
--- a/gdb/testsuite/Makefile.in
+++ b/gdb/testsuite/Makefile.in
@@ -170,6 +170,7 @@ check-parallel:
 	  `find outputs -name gdb.sum -print` > gdb.sum; \
 	$(SHELL) $(srcdir)/dg-extract-results.sh -L \
 	  `find outputs -name gdb.log -print` > gdb.log
+	@sed -n '/=== gdb Summary ===/,$ p' gdb.sum
 
 # Turn a list of .exp files into "check/" targets.  Only examine .exp
 # files appearing in a gdb.* directory -- we don't want to pick up
-- 
1.8.1.4