lint: Add mypy as an external_linter to be run with ./tools/lint.

amanagr · timabbott · commit 101049de2727 · 2020-01-14T16:00:24.000-08:00
We were not running `mypy` with `./tools/lint` prior to this.
diff --git a/tools/lint b/tools/lint
@@ -25,6 +25,9 @@ def run():
     by_lang = linter_config.list_files(file_types=['py', 'sh', 'json', 'md', 'txt'],
                                        exclude=EXCLUDED_FILES)
 
+    linter_config.external_linter('mypy', ['tools/run-mypy'], ['py'], pass_targets=False,
+                                  description="Static type checker for Python (config: mypy.ini)")
+
     @linter_config.lint
     def custom_py():
         # type: () -> int
