From f8004991cc08b4f1c695665e20042179a4f66ac1 Mon Sep 17 00:00:00 2001 From: Lukas Larsson Date: Tue, 18 Apr 2017 15:42:08 +0200 Subject: Move travis dialyzer logic to script file --- scripts/run-dialyzer | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100755 scripts/run-dialyzer (limited to 'scripts/run-dialyzer') 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 -- cgit v1.2.3