From f2e6970bdffbbb37da8b429d602c6237f2b21d68 Mon Sep 17 00:00:00 2001 From: Eric Froemling Date: Sun, 6 Oct 2019 09:51:41 -0700 Subject: [PATCH] more CI testing --- tools/efrotools/code.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/efrotools/code.py b/tools/efrotools/code.py index 4c9dce08..6426e8ea 100644 --- a/tools/efrotools/code.py +++ b/tools/efrotools/code.py @@ -497,7 +497,8 @@ def mypyscripts(projroot: Path, full: bool) -> None: """Run mypy on all of our scripts.""" import time filenames = get_script_filenames(projroot) - print('Running Mypy ' + ('(full)' if full else '(incremental)') + '...') + print('Running Mypy ' + ('(full)' if full else '(incremental)') + '...', + flush=True) starttime = time.time() try: runmypy(filenames, full)