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),