diff options
| author | Emilio Jesus Gallego Arias | 2017-02-04 21:18:54 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-02-06 19:36:27 +0100 |
| commit | 348160a1c59da5c448a56a2e2802865f94a40ddc (patch) | |
| tree | 6a66f1710515de8ae9bbe8ea6f6c7aa310c42712 | |
| parent | e61e83758e129d455d664b65a1fe15ecac793186 (diff) | |
[travis] Run tests using a parallel matrix.
We also optimize `travis_wait` use.
| -rw-r--r-- | .travis.yml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 3e71a71570..f9d4965638 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} |