diff --git a/tools/run-mypy b/tools/run-mypy
index eb7608b..b7baae3 100755
--- a/tools/run-mypy
+++ b/tools/run-mypy
@@ -105,9 +105,8 @@ if args.quick:
 # run mypy
 status = 0
 for repo, python_files in repo_python_files.items():
-    print("Running mypy for `{}`.".format(repo))
+    print("Running mypy for `{}`.".format(repo), flush=True)
     if python_files:
-        print(python_files)
         result = subprocess.call([mypy_command] + extra_args + python_files)
         if result != 0:
             status = result