From 5f31770781d14e1f12f3c54e490b4c7e32bab732 Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Mon, 9 Jun 2014 12:12:42 +0200 Subject: fix unit for runtime stats --- context_mirror_bot.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/context_mirror_bot.ml b/context_mirror_bot.ml index 0053126..c2ff29f 100644 --- a/context_mirror_bot.ml +++ b/context_mirror_bot.ml @@ -811,7 +811,7 @@ let () = Git.set_path repo_dir; dispatch_job job.kind; log_info (Printf.sprintf - "mirror bot finished in %.2f ms." + "mirror bot finished in %.2f s." (Unix.gettimeofday () -. t_start)); ;; -- cgit v1.2.3