From 60229b0a9cf35ab735805826dae1582ee4bd78d3 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Tue, 16 Mar 2021 11:04:14 +0530
Subject: [PATCH] Add a flush

---
 setup/unix-ci.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup/unix-ci.py b/setup/unix-ci.py
index de26fcfa16..64e307a952 100644
--- a/setup/unix-ci.py
+++ b/setup/unix-ci.py
@@ -60,7 +60,7 @@ else:
 def run(*args):
     if len(args) == 1:
         args = shlex.split(args[0])
-    print(' '.join(args))
+    print(' '.join(args), flush=True)
     ret = subprocess.Popen(args).wait()
     if ret != 0:
         raise SystemExit(ret)