aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2017-01-12 12:59:29 +0100
committerBjörn Gustavsson <[email protected]>2017-01-12 15:00:25 +0100
commit7c1cd888df9331efe9eb010b0ed3061274840da5 (patch)
tree67e1f3b0e76f0ab8a27fffd253cbf4d24f42c3ad
parent568e6b5faebf85fb35119858fcb4824f46a4266c (diff)
downloadotp-7c1cd888df9331efe9eb010b0ed3061274840da5.tar.gz
otp-7c1cd888df9331efe9eb010b0ed3061274840da5.tar.bz2
otp-7c1cd888df9331efe9eb010b0ed3061274840da5.zip
Travis: Simplify running of dialyzer
Now that dialyzer has been optimized for memory usage, we can combine the dialyzer invocations that use the same options.
-rw-r--r--.travis.yml6
1 files changed, 2 insertions, 4 deletions
diff --git a/.travis.yml b/.travis.yml
index ef17d6fbe7..42151a16d2 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -33,10 +33,8 @@ 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 -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
+ - $ERL_TOP/bin/dialyzer -n -Wunknown -Wunmatched_returns --apps compiler erts kernel stdlib asn1 crypto dialyzer hipe parsetools public_key runtime_tools sasl tools --statistics
+ - $ERL_TOP/bin/dialyzer -n --apps common_test debugger edoc inets mnesia observer ssh ssl syntax_tools tools wx xmerl --statistics
- ./otp_build tests && make release_docs
after_script: