diff options
| author | Lukas Larsson <[email protected]> | 2017-09-01 14:17:59 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2017-09-01 14:17:59 +0200 |
| commit | 31f236eb808f24fc0dc1ac71313b284dbdd84e0e (patch) | |
| tree | c9634b025db3dd83daff3904c21f35e2e23c66cf /scripts | |
| parent | 8ff812c4087cc536f2ef7a8a33eb74226ed9a1e7 (diff) | |
| parent | 80e5c0196b92f370f0d12c3d17158f20e0f23f2e (diff) | |
| download | otp-31f236eb808f24fc0dc1ac71313b284dbdd84e0e.tar.gz otp-31f236eb808f24fc0dc1ac71313b284dbdd84e0e.tar.bz2 otp-31f236eb808f24fc0dc1ac71313b284dbdd84e0e.zip | |
Merge branch 'lukas/scripts/dialyze_all_applications' into maint
* lukas/scripts/dialyze_all_applications:
scripts: dialyze more applications in automation scripts
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/run-dialyzer | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/scripts/run-dialyzer b/scripts/run-dialyzer index 383ae2301d..05c1fd63c0 100755 --- a/scripts/run-dialyzer +++ b/scripts/run-dialyzer @@ -4,4 +4,13 @@ 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 +$ERL_TOP/bin/dialyzer -n --apps common_test debugger edoc inets mnesia observer ssh ssl syntax_tools wx xmerl --statistics + +# In travis we don't dialyze everything as it takes too much time +if [ "X$DIALYZE_ALL_APPLICATIONS" = "Xtrue" ]; then + $ERL_TOP/bin/dialyzer -n -Wunknown -Wunmatched_returns --apps eldap erl_docgen et odbc --statistics + $ERL_TOP/bin/dialyzer -n --apps eunit reltool os_mon --statistics + + # These application are not run always as the currently have dialyzer warnings + # $ERL_TOP/bin/dialyzer -n --apps cosEvent cosEventDomain cosFileTransfer cosNotification cosProperty cosTime cosTransactions diameter megaco orber snmp --statistics +fi |