summaryrefslogtreecommitdiff
path: root/tools/merge_fetch.py
diff options
context:
space:
mode:
Diffstat (limited to 'tools/merge_fetch.py')
-rwxr-xr-xtools/merge_fetch.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/merge_fetch.py b/tools/merge_fetch.py
index 0bfc2fd..9d0963b 100755
--- a/tools/merge_fetch.py
+++ b/tools/merge_fetch.py
@@ -87,7 +87,7 @@ def merge_fetch(_args, config, localconfig):
verifycert.communicate(struct.pack("I", 0))
if args.timing:
- print >>sys.stderr, timing["deltatimes"]
+ print >>sys.stderr, "timing: merge_fetch:", timing["deltatimes"]
sys.stderr.flush()
tree_size = len(logorder)