diff options
| author | Loïc Hoguin <[email protected]> | 2015-07-21 22:07:16 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2015-07-21 22:07:16 +0200 |
| commit | 8a32e4832c8d0192159927e7e434407f0e38eb18 (patch) | |
| tree | e474de2e975bdedac08ab461a16f7f662c0a8fe7 /core | |
| parent | 26ea355c28f674b168259aadc6847d46fafb313a (diff) | |
| download | erlang.mk-8a32e4832c8d0192159927e7e434407f0e38eb18.tar.gz erlang.mk-8a32e4832c8d0192159927e7e434407f0e38eb18.tar.bz2 erlang.mk-8a32e4832c8d0192159927e7e434407f0e38eb18.zip | |
Tweaks to the ci plugin after trying CircleCI
For best results use 'make -k ci'. 'make ci-prepare' can be
used to setup the OTP installations needed.
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions