diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/qemu-iotests/linters.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tests/qemu-iotests/linters.py b/tests/qemu-iotests/linters.py index 46c28fd..65c4c4e 100644 --- a/tests/qemu-iotests/linters.py +++ b/tests/qemu-iotests/linters.py @@ -93,7 +93,9 @@ def main() -> None: if sys.argv[1] == '--pylint': run_linter('pylint', files) elif sys.argv[1] == '--mypy': - run_linter('mypy', files) + # mypy bug #9852; disable incremental checking as a workaround. + args = ['--no-incremental'] + files + run_linter('mypy', args) else: print(f"Unrecognized argument: '{sys.argv[1]}'", file=sys.stderr) show_usage() |