From 6b1e76c1b180082ee76da8922cb088f4238427ae Mon Sep 17 00:00:00 2001
From: Greg Price <greg@zulipchat.com>
Date: Sun, 6 May 2018 14:11:40 -0700
Subject: [PATCH] mypy: Move cache-dir to config file.

---
 mypy.ini       | 1 +
 tools/run-mypy | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

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")