Trying again to make sure all output is seen here.

diff --git a/exec_utils.py b/exec_utils.py
index b4e88bda36361064591d2c336f787e4fb234ae37..c1dbdcb70cf8917ceeca27c1a3b133168ab72171 100644 (file)
--- a/exec_utils.py
+++ b/exec_utils.py
@@ -46,6 +46,8 @@ def cmd_showing_output(command: str, ) -> int:
                 if char in line_enders:
                     sys.stderr.flush()
     p.wait()
+    sys.stdout.flush()
+    sys.stderr.flush()
     return p.returncode