aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-01-11 12:03:52 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-01-11 12:03:52 -0800
commit2a59afee08f9abdb647e4d7c9a01b659b08b31f4 (patch)
tree22c5b555ea7b35fa13b863451ec680036461405d
parent9b66bdd02b4ca18f9b48b8903599bbdef4dd599a (diff)
'make test' - don't use verbose output.
Instead, print the test log if any tests fail.
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
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