From a3b0af44bcb4454e6abb3d6be1f5bebc7098ccc4 Mon Sep 17 00:00:00 2001 From: Anders Kaseorg Date: Sat, 24 Aug 2019 15:43:52 -0700 Subject: [PATCH] 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 --- tools/run-mypy | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/tools/run-mypy b/tools/run-mypy index a82532ee93..c0857b7479 100755 --- a/tools/run-mypy +++ b/tools/run-mypy @@ -23,8 +23,6 @@ parser.add_argument('targets', nargs='*', help="files and directories to check (default: .)") parser.add_argument('--version', action='store_true', 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', help="check only modified files") 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.") sys.exit(0) -extra_args = [] -if args.quick: - extra_args.append("--quick") - -mypy_args = extra_args + python_files + pyi_files +mypy_args = python_files + pyi_files rc = subprocess.call([mypy_command] + mypy_args) if rc != 0: