From a6ab15d61cd4b36ba9d4eab7a3d290330b5c3798 Mon Sep 17 00:00:00 2001
From: Stavros Aronis <aronisstav@gmail.com>
Date: Mon, 20 Feb 2012 16:45:54 +0100
Subject: Add better timing labels

---
 lib/dialyzer/src/dialyzer_timing.erl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib/dialyzer/src/dialyzer_timing.erl')

diff --git a/lib/dialyzer/src/dialyzer_timing.erl b/lib/dialyzer/src/dialyzer_timing.erl
index 73dbbf5a34..368c1715ce 100644
--- a/lib/dialyzer/src/dialyzer_timing.erl
+++ b/lib/dialyzer/src/dialyzer_timing.erl
@@ -56,13 +56,13 @@ dummy_loop() ->
 loop(LastNow) ->
   receive
     {stamp, Msg, Now} ->
-      io:format("~s\t(+~6.2fs): ", [Msg, diff(Now, LastNow)]),
+      io:format("    ~-10s (+~4.2fs):", [Msg, diff(Now, LastNow)]),
       loop(Now);
     {stamp, Now} ->
-      io:format("~6.2fs\n", [diff(Now, LastNow)]),
+      io:format("~7.2fs\n", [diff(Now, LastNow)]),
       loop(Now);
     {Pid, stop, Now} ->
-      io:format("\t(+~6.2fs)\n", [diff(Now, LastNow)]),
+      io:format("    ~-10s (+~4.2fs)\n", ["",diff(Now, LastNow)]),
       Pid ! ok
   end.
 
-- 
cgit v1.2.3