diff options
| author | Ghostkeeper <rubend@tutanota.com> | 2021-02-09 15:48:47 +0300 |
|---|---|---|
| committer | Ghostkeeper <rubend@tutanota.com> | 2021-02-09 15:48:57 +0300 |
| commit | 596d1570fbea434e58d435a67fac35b65362b27d (patch) | |
| tree | 9c04b0969e602af742c89738cc340aeaab1d7205 | |
| parent | 929149bf4e908147ee2b7cd9687930eff8935b51 (diff) | |
Show error code if MyPy failed
This makes debugging it slightly easier.
| -rw-r--r-- | run_mypy.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run_mypy.py b/run_mypy.py index ec0583d43f..4486085064 100644 --- a/run_mypy.py +++ b/run_mypy.py @@ -73,7 +73,7 @@ def main(): for i, returncode in enumerate(pool.imap(partial(call, shell=True), commands)): if returncode != 0: - print("\nCommand %s failed checking. :(" % commands[i]) + print("\nCommand {command} failed checking (code {errcode}). :(".format(command = commands[i], errcode = returncode)) success_code = 1 if success_code: print("MYPY check was completed, but did not pass") |