From b374ea7357857d4299e0c89aa275f034a20e15dc Mon Sep 17 00:00:00 2001
From: Greg Price <greg@zulipchat.com>
Date: Fri, 9 Feb 2018 19:42:49 -0800
Subject: [PATCH] mypy: Pass --show-traceback.

This saves a bit of debugging in the event that we hit a crash
inside mypy.
---
 tools/run-mypy | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/run-mypy b/tools/run-mypy
index 7316a0061b..4383c7de32 100755
--- a/tools/run-mypy
+++ b/tools/run-mypy
@@ -88,6 +88,7 @@ if not python_files:
 extra_args = ["--check-untyped-defs",
               "--follow-imports=silent",
               "--scripts-are-modules",
+              "--show-traceback",
               "-i", "--cache-dir=var/mypy-cache",
               "--disallow-any-generics"]
 if args.linecoverage_report: