diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-02-04 21:18:54 +0100 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-02-06 19:36:27 +0100 |
commit | 348160a1c59da5c448a56a2e2802865f94a40ddc (patch) | |
tree | 6a66f1710515de8ae9bbe8ea6f6c7aa310c42712 /.travis.yml | |
parent | e61e83758e129d455d664b65a1fe15ecac793186 (diff) |
[travis] Run tests using a parallel matrix.
We also optimize `travis_wait` use.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 3e71a7157..f9d496563 100644 --- a/.travis.yml +++ b/.travis.yml @@ -24,8 +24,13 @@ addons: - ghostscript - transfig - imagemagick +env: + global: + - NJOBS=1 + matrix: + - TEST_TARGET="validate" TW="travis_wait" + - TEST_TARGET="test-suite" TW="" install: -- ": ${NJOBS:=1}" - "[ -e .opam ] || opam init -j ${NJOBS} --compiler=4.02.3 -n -y" - eval $(opam config env) - opam config var root @@ -34,5 +39,4 @@ install: script: - ./configure -local -usecamlp5 -native-compiler yes -coqide opt -with-doc yes - make -j ${NJOBS} -- travis_wait make -j ${NJOBS} validate -- travis_wait make -j ${NJOBS} test-suite +- ${TW} make -j ${NJOBS} ${TEST_TARGET} |