From 6cbe1f5ba70b21983eff240527467d08d745e250 Mon Sep 17 00:00:00 2001
From: "neiljp (Neil Pilgrim)" <github@kepier.clara.net>
Date: Fri, 30 Mar 2018 23:00:35 -0700
Subject: [PATCH] tools: Migrate core run-mypy options to mypy.ini.

Add traceback option, as used in core Zulip run-mypy.
---
 mypy.ini       | 9 +++++++++
 tools/run-mypy | 6 +-----
 2 files changed, 10 insertions(+), 5 deletions(-)
 create mode 100644 mypy.ini

diff --git a/mypy.ini b/mypy.ini
new file mode 100644
index 0000000..206ab24
--- /dev/null
+++ b/mypy.ini
@@ -0,0 +1,9 @@
+[mypy]
+check_untyped_defs = True
+disallow_any_generics = True
+
+incremental = True
+scripts_are_modules = True
+show_traceback = True
+
+warn_no_return = True
diff --git a/tools/run-mypy b/tools/run-mypy
index 3f3eebf..2e01952 100755
--- a/tools/run-mypy
+++ b/tools/run-mypy
@@ -149,11 +149,7 @@ for file_path in python_files:
 
 mypy_command = "mypy"
 
-extra_args = ["--check-untyped-defs",
-              "--follow-imports=silent",
-              "--scripts-are-modules",
-              "--disallow-any-generics",
-              "-i"]
+extra_args = ["--follow-imports=silent"]
 if args.disallow_untyped_defs:
     extra_args.append("--disallow-untyped-defs")
 if args.warn_unused_ignores: