Update wvtool

diff --git a/tests/wvtool b/tests/wvtool
index e3f0abe4180a9fdd1fbead6951815a002f66ec1c..96cb0da04820047c9faacef1e69e0b489cf7d03d 100755 (executable)
--- a/tests/wvtool
+++ b/tests/wvtool
@@ -208,6 +208,7 @@ class WvTestLog(list):
         else:
             if self.verbosity <= self.Verbosity.NORMAL:
                 self.currentTest.asWvCheckLine('ok').print()
+        sys.stdout.flush()
         self.clear()
 
     def _newTest(self, testing):