diff options
author | Lukas Larsson <[email protected]> | 2017-04-20 10:18:30 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2017-04-20 10:18:30 +0200 |
commit | 38fe97060d06246804b45494cacbed134b1c51fa (patch) | |
tree | c9ec275b2847fdd2aeb418af0d6c185332d770ce /scripts/run-dialyzer | |
parent | f9ccb1d717a7bffaaf149b6199412cfb092e692b (diff) | |
parent | f8004991cc08b4f1c695665e20042179a4f66ac1 (diff) | |
download | otp-38fe97060d06246804b45494cacbed134b1c51fa.tar.gz otp-38fe97060d06246804b45494cacbed134b1c51fa.tar.bz2 otp-38fe97060d06246804b45494cacbed134b1c51fa.zip |
Merge pull request #1415 from garazdawi/lukas/travis/run-dialyzer-script
Move travis dialyzer logic to script file
Diffstat (limited to 'scripts/run-dialyzer')
-rwxr-xr-x | scripts/run-dialyzer | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/run-dialyzer b/scripts/run-dialyzer new file mode 100755 index 0000000000..383ae2301d --- /dev/null +++ b/scripts/run-dialyzer @@ -0,0 +1,7 @@ +#!/bin/bash + +set -e + +$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 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 |