aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_cl_parse.erl
diff options
context:
space:
mode:
authorStavros Aronis <aronisstav@gmail.com>2012-03-05 11:39:28 +0100
committerHenrik Nord <henrik@erlang.org>2012-05-21 15:31:22 +0200
commit4a1fa04e5f57ad56e35aae8e9ff278bf1133889a (patch)
tree522ccc0093ae7910a03eef7e71b9156f5f9ebb7f /lib/dialyzer/src/dialyzer_cl_parse.erl
parent49ccc5df4f2f64ff19dd5751523c8ba45adaf658 (diff)
downloadotp-4a1fa04e5f57ad56e35aae8e9ff278bf1133889a.tar.gz
otp-4a1fa04e5f57ad56e35aae8e9ff278bf1133889a.tar.bz2
otp-4a1fa04e5f57ad56e35aae8e9ff278bf1133889a.zip
Change --time to --statistics and include more info
Diffstat (limited to 'lib/dialyzer/src/dialyzer_cl_parse.erl')
-rw-r--r--lib/dialyzer/src/dialyzer_cl_parse.erl9
1 files changed, 5 insertions, 4 deletions
diff --git a/lib/dialyzer/src/dialyzer_cl_parse.erl b/lib/dialyzer/src/dialyzer_cl_parse.erl
index 5baba7d11b..05e50c3d6b 100644
--- a/lib/dialyzer/src/dialyzer_cl_parse.erl
+++ b/lib/dialyzer/src/dialyzer_cl_parse.erl
@@ -164,7 +164,7 @@ cl(["--src"|T]) ->
cl(["--no_spec"|T]) ->
put(dialyzer_options_use_contracts, false),
cl(T);
-cl(["--time"|T]) ->
+cl(["--statistics"|T]) ->
put(dialyzer_timing, true),
cl(T);
cl(["-v"|_]) ->
@@ -356,7 +356,7 @@ help_message() ->
[--apps applications] [-o outfile]
[--build_plt] [--add_to_plt] [--remove_from_plt]
[--check_plt] [--no_check_plt] [--plt_info] [--get_warnings]
- [--no_native] [--fullpath] [--time]
+ [--no_native] [--fullpath] [--statistics]
Options:
files_or_dirs (for backwards compatibility also as: -c files_or_dirs)
Use Dialyzer from the command line to detect defects in the
@@ -423,8 +423,9 @@ Options:
Make Dialyzer a bit more quiet.
--verbose
Make Dialyzer a bit more verbose.
- --time
- Print time information
+ --statistics
+ Prints information about the progress of execution (analysis phases,
+ time spent in each and size of the relative input).
--build_plt
The analysis starts from an empty plt and creates a new one from the
files specified with -c and -r. Only works for beam files.