diff options
author | Stavros Aronis <[email protected]> | 2012-02-20 13:56:25 +0100 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:19 +0200 |
commit | 60e682897f98d9374b96c6324759f302170b2a17 (patch) | |
tree | e6ccf2de74f0c77e118a58b40135b194d95d9999 /lib/typer | |
parent | c8f8c90f908ae06a3b2114b77447699b7d690496 (diff) | |
download | otp-60e682897f98d9374b96c6324759f302170b2a17.tar.gz otp-60e682897f98d9374b96c6324759f302170b2a17.tar.bz2 otp-60e682897f98d9374b96c6324759f302170b2a17.zip |
Add --time option to Dialyzer
Diffstat (limited to 'lib/typer')
-rw-r--r-- | lib/typer/src/typer.erl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/typer/src/typer.erl b/lib/typer/src/typer.erl index 20911aaf8c..0d72014427 100644 --- a/lib/typer/src/typer.erl +++ b/lib/typer/src/typer.erl @@ -83,6 +83,7 @@ start() -> {Args, Analysis} = process_cl_args(), %% io:format("Args: ~p\n", [Args]), %% io:format("Analysis: ~p\n", [Analysis]), + dialyzer_timing:init(false), TrustedFiles = filter_fd(Args#args.trusted, [], fun is_erl_file/1), Analysis2 = extract(Analysis, TrustedFiles), All_Files = get_all_files(Args), @@ -91,6 +92,7 @@ start() -> Analysis4 = collect_info(Analysis3), %% io:format("Final: ~p\n", [Analysis4#analysis.fms]), TypeInfo = get_type_info(Analysis4), + dialyzer_timing:stop(), show_or_annotate(TypeInfo), %% io:format("\nTyper analysis finished\n"), erlang:halt(0). |