diff options
| author | Micael Karlberg <[email protected]> | 2011-03-07 14:55:11 +0100 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2011-03-07 14:55:11 +0100 |
| commit | c959a0cd5392d356e8bda8d7eb9d0e71a88360b3 (patch) | |
| tree | 44857e835210e771185bdf64ac8e4a42ad003d0a /lib/dialyzer/doc/manual.txt | |
| parent | db29f9ede14ff5b8d747230fcad8ffa1b157f1e1 (diff) | |
| parent | f85c79166c0fcf39eaab62e39f392aa7ce83c9bf (diff) | |
| download | otp-c959a0cd5392d356e8bda8d7eb9d0e71a88360b3.tar.gz otp-c959a0cd5392d356e8bda8d7eb9d0e71a88360b3.tar.bz2 otp-c959a0cd5392d356e8bda8d7eb9d0e71a88360b3.zip | |
Merge branch 'dev' into bmk/inets/httpc/support_upload_body_streaming/OTP-OTP-9094
Diffstat (limited to 'lib/dialyzer/doc/manual.txt')
| -rw-r--r-- | lib/dialyzer/doc/manual.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/dialyzer/doc/manual.txt b/lib/dialyzer/doc/manual.txt index cc6f9130c7..1d7a1a6222 100644 --- a/lib/dialyzer/doc/manual.txt +++ b/lib/dialyzer/doc/manual.txt @@ -129,7 +129,7 @@ Usage: dialyzer [--help] [--version] [--shell] [--quiet] [--verbose] [--apps applications] [-o outfile] [--build_plt] [--add_to_plt] [--remove_from_plt] [--check_plt] [--no_check_plt] [--plt_info] [--get_warnings] - [--no_native] + [--no_native] [--fullpath] Options: files_or_dirs (for backwards compatibility also as: -c files_or_dirs) @@ -231,6 +231,8 @@ Options: Bypass the native code compilation of some key files that Dialyzer heuristically performs when dialyzing many files; this avoids the compilation time but it may result in (much) longer analysis time. + --fullpath + Display the full path names of files for which warnings are emitted. --gui Use the gs-based GUI. --wx |