--- 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