diff options
Diffstat (limited to 'rebar.config.sample')
-rw-r--r-- | rebar.config.sample | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/rebar.config.sample b/rebar.config.sample index 2074805..6933076 100644 --- a/rebar.config.sample +++ b/rebar.config.sample @@ -76,8 +76,11 @@ %% == Dialyzer == -%% Options for running the dialyzer, right now only `plt' is supported -{dialyzer_opts, []}. +%% Options for running dialyzer +%% {plt, PltFile} +%% 'src': run Dialyzer on the source files as in 'dialyzer --src' +%% {warnings, [WarnOpts]}: turn on/off Dialyzer warnings +{warnings_opts, [{plt, PltFile}, {warnings, [WarnOpts]}, src]}. %% == Cleanup == |