Permalink
Browse files

Verbose regtest output for Travis CI

`make test VERBOSE=1` to get a dump of test/cil.log in case of failure.
  • Loading branch information...
1 parent 463372e commit 5bd57bfea21401c2a256ac881c6d8bafbf797393 @kerneis kerneis committed Mar 10, 2014
Showing with 5 additions and 1 deletion.
  1. +1 −1 .travis-ci.sh
  2. +4 −0 Makefile.in
View
@@ -26,4 +26,4 @@ opam install ${OPAM_DEPENDS}
eval `opam config env`
./configure
make
-make test
+make test VERBOSE=1
View
@@ -290,7 +290,11 @@ clean: $(CILLYDIR)/Makefile
.PHONY: test
test:
+ifneq ($(VERBOSE),)
+ cd test; CC=@CC@ ./testcil -r --regrtest || { cat cil.log; exit 1; }
+else
cd test; CC=@CC@ ./testcil -r --regrtest
+endif
########################################################################

0 comments on commit 5bd57bf

Please sign in to comment.