Flush output from timing script.

(cherry picked from commit 771768966f)
This commit is contained in:
Matt Clay 2018-08-31 00:07:54 -07:00
parent fb153e4da7
commit c8eeafdc15

View file

@ -8,3 +8,4 @@ start = time.time()
for line in sys.stdin: for line in sys.stdin:
seconds = time.time() - start seconds = time.time() - start
sys.stdout.write('%02d:%02d %s' % (seconds // 60, seconds % 60, line)) sys.stdout.write('%02d:%02d %s' % (seconds // 60, seconds % 60, line))
sys.stdout.flush()