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/dialyzer/src/dialyzer_analysis_callgraph.erl | |
| parent | c8f8c90f908ae06a3b2114b77447699b7d690496 (diff) | |
| download | otp-60e682897f98d9374b96c6324759f302170b2a17.tar.gz otp-60e682897f98d9374b96c6324759f302170b2a17.tar.bz2 otp-60e682897f98d9374b96c6324759f302170b2a17.zip | |
Add --time option to Dialyzer
Diffstat (limited to 'lib/dialyzer/src/dialyzer_analysis_callgraph.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_analysis_callgraph.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_analysis_callgraph.erl b/lib/dialyzer/src/dialyzer_analysis_callgraph.erl index febaf56e40..30eb087fcf 100644 --- a/lib/dialyzer/src/dialyzer_analysis_callgraph.erl +++ b/lib/dialyzer/src/dialyzer_analysis_callgraph.erl @@ -134,7 +134,8 @@ analysis_start(Parent, Analysis) -> use_contracts = Analysis#analysis.use_contracts }, Files = ordsets:from_list(Analysis#analysis.files), - {Callgraph, NoWarn, TmpCServer0} = compile_and_store(Files, State), + {Callgraph, NoWarn, TmpCServer0} = + ?timing("compile",compile_and_store(Files, State)), %% Remote type postprocessing NewCServer = try |