Hack for mypy issue #1254.

This commit is contained in:
Guido van Rossum
2016-03-03 09:58:44 -08:00
parent 8808bac6fc
commit 4297e82bc8

View File

@@ -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):