Преглед изворни кода

Do not automatically check plt

pull/206/head
James Fish пре 10 година
родитељ
комит
4ac347c4bf
1 измењених фајлова са 7 додато и 2 уклоњено
  1. +7
    -2
      src/rebar_prv_dialyzer.erl

+ 7
- 2
src/rebar_prv_dialyzer.erl Прегледај датотеку

@ -380,13 +380,18 @@ run_dialyzer(State, Opts) ->
case proplists:get_bool(get_warnings, Opts) of case proplists:get_bool(get_warnings, Opts) of
true -> true ->
WarningsList = rebar_state:get(State, dialyzer_warnings, []), 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)), {Unknowns, Warnings} = format_warnings(dialyzer:run(Opts2)),
_ = [?CONSOLE("~s", [Unknown]) || Unknown <- Unknowns], _ = [?CONSOLE("~s", [Unknown]) || Unknown <- Unknowns],
_ = [?CONSOLE("~s", [Warning]) || Warning <- Warnings], _ = [?CONSOLE("~s", [Warning]) || Warning <- Warnings],
{length(Warnings), State}; {length(Warnings), State};
false -> false ->
_ = dialyzer:run([{warnings, no_warnings()} | Opts]),
Opts2 = [{warnings, no_warnings()},
{check_plt, false} |
Opts],
_ = dialyzer:run(Opts2),
{0, State} {0, State}
end. end.

Loading…
Откажи
Сачувај