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

run-mypy: Remove --quick option. 

mypy no longer has a `--quick` option.  Its argument parser
autocompletes `--quick` to `--quickstart-file`, leading to a confusing
error message.

Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
This commit is contained in:
Anders Kaseorg 2019-08-24 15:43:52 -07:00 committed by Tim Abbott
parent 99904527f5
commit a3b0af44bc
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tools/run-mypy
View File

@ -23,8 +23,6 @@ parser.add_argument('targets', nargs='*',
help="files and directories to check (default: .)") help="files and directories to check (default: .)")
parser.add_argument('--version', action='store_true', parser.add_argument('--version', action='store_true',
help="show mypy version information and exit") help="show mypy version information and exit")
parser.add_argument('--quick', action='store_true',
help="pass --quick to mypy")
parser.add_argument('-m', '--modified', action='store_true', parser.add_argument('-m', '--modified', action='store_true',
help="check only modified files") help="check only modified files")
parser.add_argument('--scripts-only', action='store_true', parser.add_argument('--scripts-only', action='store_true',
@ -68,11 +66,7 @@ if not python_files and not pyi_files:
print("There are no files to run mypy on.") print("There are no files to run mypy on.")
sys.exit(0) sys.exit(0)
extra_args = [] mypy_args = python_files + pyi_files
if args.quick:
extra_args.append("--quick")
mypy_args = extra_args + python_files + pyi_files
rc = subprocess.call([mypy_command] + mypy_args) rc = subprocess.call([mypy_command] + mypy_args)
if rc != 0: if rc != 0: