From 2a59afee08f9abdb647e4d7c9a01b659b08b31f4 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 11 Jan 2015 12:03:52 -0800
Subject: 'make test' - don't use verbose output.

Instead, print the test log if any tests fail.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0cbf7e8..d4d43cf 100644
--- a/Makefile
+++ b/Makefile
@@ -97,7 +97,7 @@ $(SRCDIR)/scanners.c: $(SRCDIR)/scanners.re
 	re2c --case-insensitive -b -i --no-generation-date -o $@ $<
 
 test: $(SPEC) $(BUILDDIR)
-	make -C $(BUILDDIR) test ARGS="-V"
+	make -C $(BUILDDIR) test || (cat $(BUILDDIR)/Testing/Temporary/LastTest.log && exit 1)
 
 $(TARBALL): archive
 
-- 
cgit v1.2.3