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)