diff options
| author | Stavros Aronis <[email protected]> | 2012-03-05 11:39:28 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:22 +0200 |
| commit | 4a1fa04e5f57ad56e35aae8e9ff278bf1133889a (patch) | |
| tree | 522ccc0093ae7910a03eef7e71b9156f5f9ebb7f /lib/dialyzer/src/dialyzer_coordinator.erl | |
| parent | 49ccc5df4f2f64ff19dd5751523c8ba45adaf658 (diff) | |
| download | otp-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_coordinator.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_coordinator.erl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_coordinator.erl b/lib/dialyzer/src/dialyzer_coordinator.erl index 490cfb8d49..63b2d8c3f2 100644 --- a/lib/dialyzer/src/dialyzer_coordinator.erl +++ b/lib/dialyzer/src/dialyzer_coordinator.erl @@ -105,6 +105,12 @@ spawn_jobs(Mode, Jobs, InitData) when Count + 1 end, JobCount = lists:foldl(Fold, 0, Jobs), + Unit = + case Mode of + 'typesig' -> "SCCs"; + 'dataflow' -> "modules" + end, + dialyzer_timing:send_size_info(JobCount, Unit), #state{active = JobCount, result = [], init_data = InitData}; spawn_jobs(Mode, Jobs, InitData) when Mode =:= 'compile'; Mode =:= 'warnings' -> @@ -122,6 +128,7 @@ spawn_jobs(Mode, Jobs, InitData) when InitTickets = 4*CPUs, {Tickets, Queue, JobCount} = lists:foldl(Fold, {InitTickets, queue:new(), 0}, Jobs), + dialyzer_timing:send_size_info(JobCount, "modules"), InitResult = case Mode of 'warnings' -> []; |