diff options
Diffstat (limited to 'circle.yml')
-rw-r--r-- | circle.yml | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/circle.yml b/circle.yml deleted file mode 100644 index 7775bcf..0000000 --- a/circle.yml +++ /dev/null @@ -1,18 +0,0 @@ -dependencies: - cache_directories: - - "~/.kerl" - - "~/erlang" - - pre: - - sudo apt-get update - - 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: - timeout: 3600 - -test: - override: - - source $HOME/erlang/OTP-18.0.3/activate && make dialyze - - make -k ci: - timeout: 3600 |