Tweak test timing hack script to accept stdin.

diff --git a/hacks/test_timings b/hacks/test_timings
index 932fb395fc355a896899906885594d2913d6e15f..05c6805136ea19ad80f8b2fa3bd3691c0d0f8198 100755 (executable)
--- a/hacks/test_timings
+++ b/hacks/test_timings
@@ -3,20 +3,20 @@
 import sys
 
 if len(sys.argv) < 2:
-    print('Syntax %s <log>' % sys.argv[0], file=sys.stderr)
-    sys.exit(1)
+    file = sys.stdin
+else:
+    file = open(sys.argv[1])
 
 tests = {}
 
-with open(sys.argv[1]) as f:
-    while True:
-        l = f.readline()
-        if l == '':
-            break
+while True:
+    l = file.readline()
+    if l == '':
+        break
 
-        s = l.split()
-        if len(s) == 8 and s[7][-2:] == 'us':
-            tests[float(s[7][:-2]) / 1000000] = s[4][1:-2]
+    s = l.split()
+    if len(s) == 8 and s[7][-2:] == 'us':
+        tests[float(s[7][:-2]) / 1000000] = s[4][1:-2]
 
 for t in sorted(tests):
     s = int(t)
@@ -24,4 +24,4 @@ for t in sorted(tests):
     s -= h * 3600
     m = s // 60
     s -= m * 60
-    print("%30s %02d:%02d:%02d (%f)" % (tests[t], h, m, s, t))
+    print("%50s %02d:%02d:%02d (%f)" % (tests[t], h, m, s, t))