]> mj.ucw.cz Git - eval.git/commitdiff
Changed formatting of time metas.
authorMartin Mares <mj@ucw.cz>
Fri, 22 Aug 2008 16:54:49 +0000 (18:54 +0200)
committerMartin Mares <mj@ucw.cz>
Fri, 22 Aug 2008 16:54:49 +0000 (18:54 +0200)
box/box.c

index 1a84e106aa2547b00cb2c8eba49376809cca9a89..40f96a960fa0e41044a245b2ccf7329178ffa34a 100644 (file)
--- a/box/box.c
+++ b/box/box.c
@@ -107,9 +107,8 @@ final_stats(struct rusage *rus)
   timersub(&now, &start_time, &wall);
   wall_ms = wall.tv_sec*1000 + wall.tv_usec/1000;
 
-  meta_printf("time:%d.%03d\ntime_wall:%d.%03d\n",
-    total_ms/1000, total_ms%1000,
-    wall_ms/1000, wall_ms%1000);
+  meta_printf("time:%d.%03d\n", total_ms/1000, total_ms%1000);
+  meta_printf("time-wall:%d.%03d\n", wall_ms/1000, wall_ms%1000);
 }
 
 /*** Messages and exits ***/