diff options
Diffstat (limited to 'lib/dialyzer/README')
-rw-r--r-- | lib/dialyzer/README | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/dialyzer/README b/lib/dialyzer/README index 951a92469b..bbdab21cbf 100644 --- a/lib/dialyzer/README +++ b/lib/dialyzer/README @@ -29,10 +29,11 @@ the Erlang/OTP installation for discrepancies. The complete set of Dialyzer options is: dialyzer [--help] [--version] [--shell] [--quiet] [--verbose] - [-pa dir]* [--plt plt] [-Ddefine]* [-I include_dir]* - [--output_plt file] [-Wwarn]* [--src] + [-pa dir]* [--plt plt] [-Ddefine]* [-I include_dir]* + [--output_plt file] [-Wwarn]* [--src] [-c applications] [-r applications] [-o outfile] [--build_plt] [--add_to_plt] [--remove_from_plt] [--check_plt] + [--incremental] [--plt_info] [--get_warnings] Use "dialyzer --help" to see an explanation of these options as well as |