mongodb/mongo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

SERVER-49945: move mypy.ini to .mypy.ini

Browse Source
This commit is contained in:
David Bradford 2020-08-14 13:40:14 -04:00 committed by Evergreen Agent
parent a609c4937c
commit 4b454dbdaf
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
mypy.ini → .mypy.ini
View File

5
buildscripts/linter/mypy.py
View File

@ -5,6 +5,8 @@ from typing import List
from . import base
MYPY_CONFIG_FILE = ".mypy.ini"
class MypyLinter(base.LinterBase):
"""Mypy linter."""
@ -24,9 +26,10 @@ class MypyLinter(base.LinterBase):
def get_lint_cmd_args(self, file_name):
# type: (str) -> List[str]
"""Get the command to run a linter."""
args = ["--config-file", MYPY_CONFIG_FILE]
# Only idl and linter should be type checked by mypy. Other
# files return errors under python 3 type checking. If we
# return an empty list the runner will skip this file.
if 'idl' in file_name or 'linter' in file_name:
return [file_name]
return args + [file_name]
return []