---

yaml
---
r: 372
b: refs/heads/master
c: c4897f8
h: refs/heads/master
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 1b41d7be1ab43594982361f58e49e2d399ccbfb4
+refs/heads/master: c4897f849c1266506cfbd42a1c53c2866a7b4a1e

trunk/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;
 ;;