mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-06 20:24:30 +08:00
committed by
Jelle Zijlstra
parent
885c2fd65e
commit
fdeae5d00e
@@ -135,6 +135,7 @@ def main():
|
||||
flags.append('--show-traceback')
|
||||
flags.append('--no-implicit-optional')
|
||||
flags.append('--disallow-any-generics')
|
||||
flags.append('--disallow-subclassing-any')
|
||||
if args.warn_unused_ignores:
|
||||
flags.append('--warn-unused-ignores')
|
||||
if args.platform:
|
||||
|
||||
Reference in New Issue
Block a user