Submitter | phabricator |
---|---|
Date | July 3, 2018, 11:50 p.m. |
Message ID | <08c5336f165fd85f0c83a6a0bf3091f7@localhost.localdomain> |
Download | mbox | patch |
Permalink | /patch/32606/ |
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