mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-06 12:14:27 +08:00
committed by
Guido van Rossum
parent
f37709f9c3
commit
81a6ea43a5
@@ -131,6 +131,7 @@ def main():
|
||||
runs += 1
|
||||
flags = ['--python-version', '%d.%d' % (major, minor)]
|
||||
flags.append('--strict-optional')
|
||||
flags.append('--no-site-packages')
|
||||
if args.no_implicit_optional:
|
||||
flags.append('--no-implicit-optional')
|
||||
if args.warn_unused_ignores:
|
||||
|
||||
Reference in New Issue
Block a user