diff -r 296648321710 -r 174484b2528d tests/run-tests.py --- a/tests/run-tests.py Mon Jul 02 00:02:31 2018 -0700 +++ b/tests/run-tests.py Mon Jul 02 00:05:54 2018 -0700 @@ -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