Submitter | phabricator |
---|---|
Date | July 5, 2018, 12:10 p.m. |
Message ID | <e6d84b9878d1fbb8b5767ec5d629ffc7@localhost.localdomain> |
Download | mbox | patch |
Permalink | /patch/32630/ |
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 @@ -1490,8 +1490,6 @@ r = '' # Warn only this line. elif r == "retry": postout.append(b' ' + el) - els.pop(i) - break else: log('\ninfo, unknown linematch result: %r\n' % r) r = False