From 3b1b80855704812d8f76fb3a258b52cee0d56720 Mon Sep 17 00:00:00 2001 From: Linus Nordberg Date: Tue, 10 Nov 2015 16:31:54 +0100 Subject: Print the string "timing" and the name of the program in merge timing info. --- tools/merge_fetch.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/merge_fetch.py') 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) -- cgit v1.1