diff options
author | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2010-10-25 22:07:32 +0200 |
---|---|---|
committer | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2010-10-25 22:37:18 +0200 |
commit | 2d2aed627f747533e2a40f44dd813160e582c7e2 (patch) | |
tree | 2121aa32c37cd3726f23a4e8f7824c809e848969 /rebar.config.sample | |
parent | 7ddd4bdaadcef81410beab0f611c750b87a0445d (diff) |
Refactor Dialyzer support to make it more usable
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 == |