Browse Source

Add comment for option naming

pull/2187/head
Sergey Yelin 5 years ago
parent
commit
537283debb
No known key found for this signature in database GPG Key ID: B653F3417EAEC54
1 changed files with 5 additions and 0 deletions
  1. +5
    -0
      src/rebar_prv_dialyzer.erl

+ 5
- 0
src/rebar_prv_dialyzer.erl View File

@ -483,6 +483,11 @@ proj_files(State) ->
run_dialyzer(State, Opts, Output) -> run_dialyzer(State, Opts, Output) ->
{Args, _} = rebar_state:command_parsed_args(State), {Args, _} = rebar_state:command_parsed_args(State),
%% dialyzer uses command-line option `--statistics` for enabling
%% additional info about progress of execution, but internally
%% this option has name `timing`.
%% NOTE: Option `timing` accept boolean() or 'debug', but here we support
%% only boolean().
Timing = proplists:get_bool(statistics, Args), Timing = proplists:get_bool(statistics, Args),
%% dialyzer may return callgraph warnings when get_warnings is false %% dialyzer may return callgraph warnings when get_warnings is false
case proplists:get_bool(get_warnings, Opts) of case proplists:get_bool(get_warnings, Opts) of

Loading…
Cancel
Save