diff --git a/mypy.ini b/mypy.ini index a11822453b..11ae3d579e 100644 --- a/mypy.ini +++ b/mypy.ini @@ -10,6 +10,7 @@ no_implicit_optional = True scripts_are_modules = True show_traceback = True +cache_dir = var/mypy-cache warn_no_return = True diff --git a/tools/run-mypy b/tools/run-mypy index 09d87e1ed9..710626a142 100755 --- a/tools/run-mypy +++ b/tools/run-mypy @@ -83,7 +83,7 @@ if not python_files and not pyi_files: print("There are no files to run mypy on.") sys.exit(0) -extra_args = ["--cache-dir=var/mypy-cache"] +extra_args = [] if args.linecoverage_report: extra_args.append("--linecoverage-report") extra_args.append("var/linecoverage-report")