From 839bbf0db4e56b3ad6dddcc4582309956301d377 Mon Sep 17 00:00:00 2001
From: derAnfaenger <robhoenig@gmail.com>
Date: Fri, 20 Oct 2017 13:06:47 +0200
Subject: [PATCH] tools: Enhance output of run-mypy.

This removes the excessively verbose lists of files
to be tested, and flushes the output after every print
to update the user on the current status in real time.
---
 tools/run-mypy | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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