Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

tools: Ensure mypy is run on .pyi files.

This commit is contained in:
neiljp (Neil Pilgrim) 2018-03-13 20:00:49 +00:00 committed by Tim Abbott
parent 3b8c2e45be
commit 43ff4ea1f7
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/run-mypy
View File

@ -78,10 +78,10 @@ files_dict = cast(Dict[str, List[str]],
use_shebang=True, modified_only=args.modified,
exclude=exclude, group_by_ftype=True,
extless_only=args.scripts_only))
pyi_files = set(files_dict['pyi'])
pyi_files = list(files_dict['pyi'])
python_files = [fpath for fpath in files_dict['py']
if not fpath.endswith('.py') or fpath + 'i' not in pyi_files]
if not python_files:
if not python_files and not pyi_files:
print("There are no files to run mypy on.")
sys.exit(0)
@ -105,7 +105,7 @@ if args.ignore_missing_imports:
if args.quick:
extra_args.append("--quick")
rc = subprocess.call([mypy_command] + extra_args + python_files)
rc = subprocess.call([mypy_command] + extra_args + python_files + pyi_files)
if args.linecoverage_report:
# Move the coverage report to where codecov will look for it.