diff options
Diffstat (limited to 'circle.yml')
-rw-r--r-- | circle.yml | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -13,11 +13,11 @@ dependencies: - sudo apt-get install autoconf2.59 - cd $HOME/bin && ln -s /usr/bin/autoconf2.59 autoconf - cd $HOME/bin && ln -s /usr/bin/autoheader2.59 autoheader - - make ci-prepare: + - MAKEFLAGS="-j 32" make ci-prepare: timeout: 3600 test: override: - - source $HOME/erlang/OTP-18.0.2/activate && make dialyze + - source $HOME/erlang/OTP-18.2.2/activate && make dialyze - make -k ci: timeout: 3600 |