diff options
author | Tristan Sloughter <tristan.sloughter@gmail.com> | 2015-03-03 13:00:03 -0600 |
---|---|---|
committer | Tristan Sloughter <tristan.sloughter@gmail.com> | 2015-03-03 13:00:03 -0600 |
commit | 7480b06e625d7a215705f4d8a21030fc1615af42 (patch) | |
tree | cdf868d5d3900a8a7dd5a610d6f03554e9b523fb | |
parent | f161cd90c6033bb20f04473d10a2d963c4425424 (diff) | |
parent | 4ac347c4bf03211e6c04aa02e58eb59f30088820 (diff) |
Merge pull request #206 from fishcakez/check_plt
Do not automatically check plt
-rw-r--r-- | src/rebar_prv_dialyzer.erl | 9 |
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. |