diff options
| author | Björn Gustavsson <[email protected]> | 2017-01-12 15:22:00 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-01-12 15:22:00 +0100 |
| commit | f7908744445a9cd66522f5201846fa3cdb3f2e3d (patch) | |
| tree | ab58a784abbce0c151977812dab01537210aa12f | |
| parent | ca8fbd7e5835ac4e33e9041eabe87eb289a6b251 (diff) | |
| parent | 7c1cd888df9331efe9eb010b0ed3061274840da5 (diff) | |
| download | otp-f7908744445a9cd66522f5201846fa3cdb3f2e3d.tar.gz otp-f7908744445a9cd66522f5201846fa3cdb3f2e3d.tar.bz2 otp-f7908744445a9cd66522f5201846fa3cdb3f2e3d.zip | |
Merge pull request #1305 from bjorng/bjorn/travis-dialyzer
Travis: Simplify running of dialyzer
| -rw-r--r-- | .travis.yml | 6 |
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: |