aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2016-11-18 12:42:17 +0100
committerBjörn Gustavsson <[email protected]>2016-11-18 14:28:31 +0100
commit79200cff21b09a17f6eec5eed755807c8e2b5e17 (patch)
tree35f8e1a87e6631a09b74cb85e035184f08c6f344
parent08f1aa472cb28d148963495244acc7e9cafed3c4 (diff)
downloadotp-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.yml5
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: