From e84e06d8f9b8138da676d0a56facd16a7c8e28c6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Fri, 15 Jan 2016 13:48:35 +0100 Subject: Update CI --- circle.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'circle.yml') diff --git a/circle.yml b/circle.yml index 0d4defb..e443341 100644 --- a/circle.yml +++ b/circle.yml @@ -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 -- cgit v1.2.3