diff options
author | Loïc Hoguin <[email protected]> | 2015-12-15 14:03:45 +0100 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2015-12-15 14:03:45 +0100 |
commit | a0e78888a9557d147ac7b764635d2c54258db88a (patch) | |
tree | ce9897f095159bf66ff4a6863c881d0ee3cbca02 /circle.yml | |
parent | 2cabf98110c8e58e8bea04149a081ca899be16d0 (diff) | |
download | erlang.mk-a0e78888a9557d147ac7b764635d2c54258db88a.tar.gz erlang.mk-a0e78888a9557d147ac7b764635d2c54258db88a.tar.bz2 erlang.mk-a0e78888a9557d147ac7b764635d2c54258db88a.zip |
Prevent Dialyzer from running concurrently in test suite
We use the GNU Parallel program to create a mutex around
the Dialyzer calls.
Diffstat (limited to 'circle.yml')
-rw-r--r-- | circle.yml | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -9,7 +9,7 @@ dependencies: pre: - sudo apt-get update - - sudo apt-get install autoconf2.59 gcc + - sudo apt-get install autoconf2.59 gcc parallel - cd $HOME/bin && ln -s /usr/bin/autoconf2.59 autoconf - cd $HOME/bin && ln -s /usr/bin/autoheader2.59 autoheader - CI_OTP=OTP-18.0.2 make -f core/core.mk -f plugins/ci.mk ci-prepare: @@ -17,5 +17,5 @@ dependencies: test: override: - - source $HOME/erlang/OTP-18.0.2/activate && make -k check - - source $HOME/erlang/OTP-18.0.2/activate && make -k check LEGACY=1 + - source $HOME/erlang/OTP-18.0.2/activate && make -j 32 -k check + - source $HOME/erlang/OTP-18.0.2/activate && make -j 32 -k check LEGACY=1 |