From 3b1b80855704812d8f76fb3a258b52cee0d56720 Mon Sep 17 00:00:00 2001
From: Linus Nordberg <linus@nordu.net>
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_sth.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/merge_sth.py')

diff --git a/tools/merge_sth.py b/tools/merge_sth.py
index bd49c9f..567082c 100755
--- a/tools/merge_sth.py
+++ b/tools/merge_sth.py
@@ -103,7 +103,7 @@ def merge_sth(args, config, localconfig):
     write_file(sthfile, sth)
 
     if args.timing:
-        print >>sys.stderr, timing["deltatimes"]
+        print >>sys.stderr, "timing: merge_sth:", timing["deltatimes"]
         sys.stderr.flush()
 
 def main():
-- 
cgit v1.1