summaryrefslogtreecommitdiff
path: root/tools/merge_fetch.py
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordu.net>2015-11-10 16:17:40 +0100
committerLinus Nordberg <linus@nordu.net>2015-11-10 16:17:40 +0100
commit274ea1a70ebe79800b2a3dc594363727ea306287 (patch)
tree4f2bad59d16d46f44222d80cafab120b35dfcafa /tools/merge_fetch.py
parent0ed4ddd1920af585a404c1e203dc88d5715640c3 (diff)
Print timing information in merge_fetch too.
Diffstat (limited to 'tools/merge_fetch.py')
-rwxr-xr-xtools/merge_fetch.py4
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, '')