tests/run-tests.py
changeset 35855 69d7fcd91696
parent 35854 568917059243
child 35991 04304b779df1
--- a/tests/run-tests.py	Wed Jan 31 23:12:45 2018 -0800
+++ b/tests/run-tests.py	Wed Jan 31 22:20:59 2018 -0800
@@ -2017,7 +2017,7 @@
 def loadtimes(outputdir):
     times = []
     try:
-        with open(os.path.join(outputdir, b'.testtimes-')) as fp:
+        with open(os.path.join(outputdir, b'.testtimes')) as fp:
             for line in fp:
                 m = re.match('(.*?) ([0-9. ]+)', line)
                 times.append((m.group(1),