run: flush stdout before using check.sh

diff --git a/run.py b/run.py
index 24951fbafb76ef8e74f5ea0b4f273549899d8b6e..a0d2b4ff14e81e9198eb88215761d2483cf8684b 100755 (executable)
--- a/run.py
+++ b/run.py
@@ -112,6 +112,7 @@ def pipe_reader(fileobj, output=None, verbose=False):
         line = line.decode()
         if output:
             output.write(line)
+            output.flush()
         if verbose:
             print(line.strip())