summaryrefslogtreecommitdiff
path: root/src/rebar_prv_dialyzer.erl
diff options
context:
space:
mode:
authorTristan Sloughter <tristan.sloughter@gmail.com>2015-03-03 13:00:03 -0600
committerTristan Sloughter <tristan.sloughter@gmail.com>2015-03-03 13:00:03 -0600
commit7480b06e625d7a215705f4d8a21030fc1615af42 (patch)
treecdf868d5d3900a8a7dd5a610d6f03554e9b523fb /src/rebar_prv_dialyzer.erl
parentf161cd90c6033bb20f04473d10a2d963c4425424 (diff)
parent4ac347c4bf03211e6c04aa02e58eb59f30088820 (diff)
Merge pull request #206 from fishcakez/check_plt
Do not automatically check plt
Diffstat (limited to 'src/rebar_prv_dialyzer.erl')
-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.