diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2018-09-06 18:22:39 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2018-09-08 07:48:15 +0200 |
commit | a807cfa6eb1a5362ead0b7c99bdc8fd2f4f896da (patch) | |
tree | 1f3a8ecd6c3ab006706ead7c336325b6dbdb1066 /.travis.yml | |
parent | 41c43ef3d7e1b87ce478d85a1f06255f1dee72dd (diff) | |
download | bison-a807cfa6eb1a5362ead0b7c99bdc8fd2f4f896da.tar.gz |
CI: run more maintainer tests and show the logs
Running all these tests might be overkill: it is very long, and don't
need full portability checks. Besides, some tests under Valgrind are
too slow and get killed by the CI (timeout of 10min without output).
* .travis.yml: here.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 040f68e9..b27569cd 100644 --- a/.travis.yml +++ b/.travis.yml @@ -122,7 +122,9 @@ before_install: script: - ./bootstrap - - ./configure --enable-gcc-warnings CC="$CC" CXX="$CXX" + - ./configure --enable-gcc-warnings CC="$CC" CXX="$CXX" || cat config.log - make -j2 - - make check VERBOSE=1 TESTSUITEFLAGS=-j2 - + - make check VERBOSE=1 TESTSUITEFLAGS=-j2 || cat tests/testsuite.log + - make maintainer-check-posix VERBOSE=1 TESTSUITEFLAGS=-j2 || cat tests/testsuite.log +# - make maintainer-check-valgrind VERBOSE=1 TESTSUITEFLAGS=-j2 || cat tests/testsuite.log + - make maintainer-check-g++ VERBOSE=1 TESTSUITEFLAGS=-j2 || cat tests/testsuite.log |