From 771768966f870f4e96f529f2a67e17f16da90805 Mon Sep 17 00:00:00 2001 From: Matt Clay Date: Fri, 31 Aug 2018 00:07:54 -0700 Subject: [PATCH] Flush output from timing script. --- test/utils/shippable/timing.py | 1 + 1 file changed, 1 insertion(+) diff --git a/test/utils/shippable/timing.py b/test/utils/shippable/timing.py index bc170f16c9d..f27fdbb4866 100755 --- a/test/utils/shippable/timing.py +++ b/test/utils/shippable/timing.py @@ -8,3 +8,4 @@ start = time.time() for line in sys.stdin: seconds = time.time() - start sys.stdout.write('%02d:%02d %s' % (seconds // 60, seconds % 60, line)) + sys.stdout.flush()