diff options
| author | Niclas Axelsson <[email protected]> | 2011-03-04 16:26:31 +0100 |
|---|---|---|
| committer | Niclas Axelsson <[email protected]> | 2011-03-04 16:27:18 +0100 |
| commit | 0f52060f8514ddd3e58004f4231da581a93209c6 (patch) | |
| tree | be3072070ecedbd662d7d8b31c12ba644a452135 /lib/dialyzer/doc/src/dialyzer.xml | |
| parent | 03ee5e80434aa2c86196832a8b9eaf78fe2e8f5d (diff) | |
| parent | b4c3711c6daa2f171f56b984235969e223ce8f9c (diff) | |
| download | otp-0f52060f8514ddd3e58004f4231da581a93209c6.tar.gz otp-0f52060f8514ddd3e58004f4231da581a93209c6.tar.bz2 otp-0f52060f8514ddd3e58004f4231da581a93209c6.zip | |
Merge branch 'ks/dialyzer-fullpath' into dev
* ks/dialyzer-fullpath:
Add a --fullpath option to Dialyzer
OTP-9098
Diffstat (limited to 'lib/dialyzer/doc/src/dialyzer.xml')
| -rw-r--r-- | lib/dialyzer/doc/src/dialyzer.xml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 01a7e478bc..8813d51f1f 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -71,7 +71,7 @@ [--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] ]]></code> <p>Options:</p> <taglist> @@ -198,10 +198,12 @@ heuristically performs when dialyzing many files; this avoids the compilation time but it may result in (much) longer analysis time.</item> + <tag><c><![CDATA[--fullpath]]></c></tag> + <item>Display the full path names of files for which warnings are emitted.</item> <tag><c><![CDATA[--gui]]></c></tag> <item>Use the gs-based GUI.</item> <tag><c><![CDATA[--wx]]></c></tag> - <item>Use the wx-based GUI..</item> + <item>Use the wx-based GUI.</item> </taglist> <note> <p>* denotes that multiple occurrences of these options are possible.</p> |