Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

tools: remove strict-optional command from run-mypy. 

This is now controlled globally and on a per-file basis in mypy.ini.
This commit is contained in:
neiljp (Neil Pilgrim) 2018-03-23 20:34:01 +00:00 committed by Tim Abbott
parent f262936c25
commit fb4f5c8570
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/run-mypy
View File

@ -41,8 +41,6 @@ parser.add_argument('--linecoverage-report', action='store_true',
parser.add_argument('--no-disallow-untyped-defs', parser.add_argument('--no-disallow-untyped-defs',
dest='disallow_untyped_defs', action='store_false', dest='disallow_untyped_defs', action='store_false',
help="don't pass --disallow-untyped-defs to mypy") help="don't pass --disallow-untyped-defs to mypy")
parser.add_argument('--strict-optional', action='store_true',
help="pass --strict-optional to mypy")
parser.add_argument('--warn-unused-ignores', action='store_true', parser.add_argument('--warn-unused-ignores', action='store_true',
help="pass --warn-unused-ignores to mypy") help="pass --warn-unused-ignores to mypy")
parser.add_argument('--no-ignore-missing-imports', parser.add_argument('--no-ignore-missing-imports',
@ -98,8 +96,6 @@ if args.disallow_untyped_defs:
extra_args.append("--disallow-untyped-defs") extra_args.append("--disallow-untyped-defs")
if args.warn_unused_ignores: if args.warn_unused_ignores:
extra_args.append("--warn-unused-ignores") extra_args.append("--warn-unused-ignores")
if args.strict_optional:
extra_args.append("--strict-optional")
if args.ignore_missing_imports: if args.ignore_missing_imports:
extra_args.append("--ignore-missing-imports") extra_args.append("--ignore-missing-imports")
if args.quick: if args.quick: