diff options
Diffstat (limited to 'circle.yml')
| -rw-r--r-- | circle.yml | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/circle.yml b/circle.yml deleted file mode 100644 index b651411..0000000 --- a/circle.yml +++ /dev/null @@ -1,22 +0,0 @@ -general: - branches: - ignore: - - gh-pages - -dependencies: - cache_directories: - - "~/.kerl" - - "~/erlang" - - pre: - - sudo apt-get update - - 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.2.1 make -f core/core.mk -f plugins/ci.mk ci-prepare: - timeout: 3600 - -test: - override: - - source $HOME/erlang/OTP-18.2.1/activate && make -j 32 -k check - - source $HOME/erlang/OTP-18.2.1/activate && make -j 32 -k check LEGACY=1 |