diff --git a/tests/run-tests.py b/tests/run-tests.py index 23b07333a8b2a143486f22ada1606a7d225793a8_dGVzdHMvcnVuLXRlc3RzLnB5..bd77ac2bd23ab5ba10e5c69a1453b40475142c33_dGVzdHMvcnVuLXRlc3RzLnB5 100755 --- a/tests/run-tests.py +++ b/tests/run-tests.py @@ -2010,6 +2010,7 @@ os.environ['PYTHONHASHSEED']) if self._runner.options.time: self.printtimes(result.times) + self.stream.flush() return result