Submitter | phabricator |
---|---|
Date | Feb. 1, 2018, 10:43 p.m. |
Message ID | <58c77f8e9b3a2e043819657c06a2f9e3@localhost.localdomain> |
Download | mbox | patch |
Permalink | /patch/27157/ |
State | Not Applicable |
Headers | show |
Comments
Patch
diff --git a/tests/run-tests.py b/tests/run-tests.py --- a/tests/run-tests.py +++ b/tests/run-tests.py @@ -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),