summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJames Fish <james@fishcakez.com>2015-03-03 17:31:04 +0000
committerJames Fish <james@fishcakez.com>2015-03-03 17:31:04 +0000
commit4ac347c4bf03211e6c04aa02e58eb59f30088820 (patch)
treecdf868d5d3900a8a7dd5a610d6f03554e9b523fb
parentf161cd90c6033bb20f04473d10a2d963c4425424 (diff)
Do not automatically check plt
-rw-r--r--src/rebar_prv_dialyzer.erl9
1 files changed, 7 insertions, 2 deletions
diff --git a/src/rebar_prv_dialyzer.erl b/src/rebar_prv_dialyzer.erl
index 24abc4f..9d2c10a 100644
--- a/src/rebar_prv_dialyzer.erl
+++ b/src/rebar_prv_dialyzer.erl
@@ -380,13 +380,18 @@ run_dialyzer(State, Opts) ->
case proplists:get_bool(get_warnings, Opts) of
true ->
WarningsList = rebar_state:get(State, dialyzer_warnings, []),
- Opts2 = [{warnings, WarningsList} | Opts],
+ Opts2 = [{warnings, WarningsList},
+ {check_plt, false} |
+ Opts],
{Unknowns, Warnings} = format_warnings(dialyzer:run(Opts2)),
_ = [?CONSOLE("~s", [Unknown]) || Unknown <- Unknowns],
_ = [?CONSOLE("~s", [Warning]) || Warning <- Warnings],
{length(Warnings), State};
false ->
- _ = dialyzer:run([{warnings, no_warnings()} | Opts]),
+ Opts2 = [{warnings, no_warnings()},
+ {check_plt, false} |
+ Opts],
+ _ = dialyzer:run(Opts2),
{0, State}
end.