Print timing information in merge_fetch too.

1 files changed, 4 insertions, 0 deletions

diff --git a/tools/merge_fetch.py b/tools/merge_fetch.py
index 1540c34..0bfc2fd 100755
--- a/tools/merge_fetch.py
+++ b/tools/merge_fetch.py
@@ -86,6 +86,10 @@ def merge_fetch(_args, config, localconfig):
 
     verifycert.communicate(struct.pack("I", 0))
 
+    if args.timing:
+        print >>sys.stderr, timing["deltatimes"]
+        sys.stderr.flush()
+
     tree_size = len(logorder)
     if tree_size == 0:
         return (0, '')