Changes the log format to include a timestamp.

diff --git a/utils/alarm.ml b/utils/alarm.ml
index 5a9c83f..3387b45 100644 (file)
--- a/utils/alarm.ml
+++ b/utils/alarm.ml
@@ -71,7 +71,7 @@ let rec monitor pid start finish mem fmt =
       else
        begin
          if not !Options.quiet then
-           fprintf fmt "[%f] Memory: current=%ikb max=%ikb\n%!"
+           fprintf fmt "[% 11.3f] Memory: current=%ikb max=%ikb\n%!"
              (current_time -. start) current_mem !max_mem;
          usleep !Options.interval;
          monitor pid start finish mem fmt