From 21219e2b65ee1bbb65a46f1e8edb326cd30054b6 Mon Sep 17 00:00:00 2001
From: Dan Buch <daniel.buch@gmail.com>
Date: Sat, 18 Jun 2016 16:28:50 -0400
Subject: [PATCH] Flush stderr after every print

---
 runtests | 1 +
 1 file changed, 1 insertion(+)

diff --git a/runtests b/runtests
index 40c7809..e762074 100755
--- a/runtests
+++ b/runtests
@@ -101,6 +101,7 @@ def _toc():
 
 def _run(command):
     print('runtests: {}'.format(' '.join(command)), file=sys.stderr)
+    sys.stderr.flush()
     check_call(command)