aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLukas Larsson <[email protected]>2017-09-01 14:18:28 +0200
committerLukas Larsson <[email protected]>2017-09-01 14:18:28 +0200
commit0907bf464b27353255b93abe455933bc6d66d741 (patch)
treef97f37fa0405abab9191030236c0d70ad7358d88
parent31a38a1bd3814c22f217afbd686f20ee5a2fe434 (diff)
parent31f236eb808f24fc0dc1ac71313b284dbdd84e0e (diff)
downloadotp-0907bf464b27353255b93abe455933bc6d66d741.tar.gz
otp-0907bf464b27353255b93abe455933bc6d66d741.tar.bz2
otp-0907bf464b27353255b93abe455933bc6d66d741.zip
Merge branch 'maint'
-rwxr-xr-xscripts/run-dialyzer11
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