diff options
| author | Björn Gustavsson <[email protected]> | 2016-11-18 12:42:17 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-11-18 14:28:31 +0100 |
| commit | 79200cff21b09a17f6eec5eed755807c8e2b5e17 (patch) | |
| tree | 35f8e1a87e6631a09b74cb85e035184f08c6f344 | |
| parent | 08f1aa472cb28d148963495244acc7e9cafed3c4 (diff) | |
| download | otp-79200cff21b09a17f6eec5eed755807c8e2b5e17.tar.gz otp-79200cff21b09a17f6eec5eed755807c8e2b5e17.tar.bz2 otp-79200cff21b09a17f6eec5eed755807c8e2b5e17.zip | |
Travis: Reduce memory consumption for dialyzer
9e06884c3a7db started to run Dialyzer in Travis.
After that, Travis has crashed several times because of the memory
limit of 2Gb has been exceeded. Try to fix that by analyzing only
three or four applications at a time.
| -rw-r--r-- | .travis.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 91aa026a1c..43bf0c7fb5 100644 --- a/.travis.yml +++ b/.travis.yml @@ -33,7 +33,10 @@ script: after_success: - $ERL_TOP/bin/dialyzer --build_plt --apps asn1 compiler crypto dialyzer edoc erts et hipe inets kernel mnesia observer public_key runtime_tools snmp ssh ssl stdlib syntax_tools wx xmerl --statistics - - $ERL_TOP/bin/dialyzer -n -Wunmatched_returns --apps asn1 compiler crypto dialyzer erts hipe parsetools public_key runtime_tools sasl stdlib tools --statistics + - $ERL_TOP/bin/dialyzer -n -Wunknown -Wunmatched_returns --apps compiler erts kernel stdlib --statistics + - $ERL_TOP/bin/dialyzer -n -Wunknown -Wunmatched_returns --apps asn1 crypto dialyzer --statistics + - $ERL_TOP/bin/dialyzer -n -Wunknown -Wunmatched_returns --apps hipe parsetools public_key --statistics + - $ERL_TOP/bin/dialyzer -n -Wunknown -Wunmatched_returns --apps runtime_tools sasl tools --statistics - ./otp_build tests && make release_docs after_script: |