diff -r 23b07333a8b2 -r bd77ac2bd23a tests/run-tests.py --- a/tests/run-tests.py Sun Jun 18 21:31:53 2017 -0400 +++ b/tests/run-tests.py Sun Jun 18 22:19:54 2017 -0400 @@ -2010,6 +2010,7 @@ os.environ['PYTHONHASHSEED']) if self._runner.options.time: self.printtimes(result.times) + self.stream.flush() return result