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: