diff options
author | Björn Gustavsson <[email protected]> | 2016-11-18 11:39:36 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2016-11-18 11:39:36 +0100 |
commit | 08f1aa472cb28d148963495244acc7e9cafed3c4 (patch) | |
tree | 821600251cf66417a56d9deb1686b9c69caeee42 | |
parent | c8fe3c7504a5dc9a0e6d884ba66fed9a5c47e3fb (diff) | |
parent | 9e06884c3a7db73567a26f63c94f5a4e21874f73 (diff) | |
download | otp-08f1aa472cb28d148963495244acc7e9cafed3c4.tar.gz otp-08f1aa472cb28d148963495244acc7e9cafed3c4.tar.bz2 otp-08f1aa472cb28d148963495244acc7e9cafed3c4.zip |
Merge branch 'kostis/travis-dialyzer' into maint
* kostis/travis-dialyzer:
Run dialyzer as part of the travis script
-rw-r--r-- | .travis.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 48d8031bd0..91aa026a1c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -32,9 +32,9 @@ script: - ./otp_build all -a 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 - ./otp_build tests && make release_docs after_script: - cd $ERL_TOP/release/tests/test_server && $ERL_TOP/bin/erl -s ts install -s ts smoke_test batch -s init stop - - |