diff options
| author | Graydon Hoare <[email protected]> | 2010-07-26 12:31:08 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-26 12:31:08 -0700 |
| commit | c4897f849c1266506cfbd42a1c53c2866a7b4a1e (patch) | |
| tree | cf8ffaeac755c14858cad698a4da6c4af2614e0a /src | |
| parent | Change ctxt_crate_main to an Ast.name. (diff) | |
| download | rust-c4897f849c1266506cfbd42a1c53c2866a7b4a1e.tar.xz rust-c4897f849c1266506cfbd42a1c53c2866a7b4a1e.zip | |
Add a cumulative timer count to be sure we're getting everything.
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/driver/main.ml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/boot/driver/main.ml b/src/boot/driver/main.ml index cef66f77..b9045485 100644 --- a/src/boot/driver/main.ml +++ b/src/boot/driver/main.ml @@ -423,14 +423,17 @@ exit_if_failed () if sess.Session.sess_report_timing then begin + let cumulative = ref 0.0 in Printf.fprintf stdout "timing:\n\n"; Array.iter begin fun name -> - Printf.fprintf stdout "%20s: %f\n" name - (Hashtbl.find sess.Session.sess_timings name) + let t = Hashtbl.find sess.Session.sess_timings name in + Printf.fprintf stdout "%20s: %f\n" name t; + cumulative := (!cumulative) +. t end - (sorted_htab_keys sess.Session.sess_timings) + (sorted_htab_keys sess.Session.sess_timings); + Printf.fprintf stdout "\n%20s: %f\n" "cumulative" (!cumulative) end; ;; |