From 4297e82bc87656342c5a3e0b4807fd834db926ae Mon Sep 17 00:00:00 2001
From: Guido van Rossum <guido@dropbox.com>
Date: Thu, 3 Mar 2016 09:58:44 -0800
Subject: [PATCH] Hack for mypy issue #1254.

---
 runtests.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/runtests.py b/runtests.py
index 603f421a5..ee9b61ab2 100755
--- a/runtests.py
+++ b/runtests.py
@@ -64,6 +64,8 @@ def main():
         for file in files:
             if file == '__builtin__.pyi':
                 continue  # Special case (alias for builtins.py).
+            if file == 'typing.pyi':
+                continue  # Hack for https://github.com/python/mypy/issues/1254
             if file.endswith('.pyi') or file.endswith('.py'):
                 full = os.path.join(dir, file)
                 if match(args, full):