Flush stderr after every print

This commit is contained in:
Dan Buch 2016-06-18 16:28:50 -04:00
parent 0ef116788d
commit 21219e2b65
No known key found for this signature in database
GPG Key ID: FAEF12936DD3E3EC

View File

@ -101,6 +101,7 @@ def _toc():
def _run(command):
print('runtests: {}'.format(' '.join(command)), file=sys.stderr)
sys.stderr.flush()
check_call(command)