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

mypy: Move cache-dir to config file.

This commit is contained in:
Greg Price 2018-05-06 14:11:40 -07:00
parent 724e849e2b
commit 6b1e76c1b1
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
mypy.ini
View File

@ -10,6 +10,7 @@ no_implicit_optional = True
scripts_are_modules = True scripts_are_modules = True
show_traceback = True show_traceback = True
cache_dir = var/mypy-cache
warn_no_return = True warn_no_return = True

2
tools/run-mypy
View File

@ -83,7 +83,7 @@ if not python_files and not pyi_files:
print("There are no files to run mypy on.") print("There are no files to run mypy on.")
sys.exit(0) sys.exit(0)
extra_args = ["--cache-dir=var/mypy-cache"] extra_args = []
if args.linecoverage_report: if args.linecoverage_report:
extra_args.append("--linecoverage-report") extra_args.append("--linecoverage-report")
extra_args.append("var/linecoverage-report") extra_args.append("var/linecoverage-report")