diff options
Diffstat (limited to 'test/lint/lint-python.sh')
-rwxr-xr-x | test/lint/lint-python.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/lint/lint-python.sh b/test/lint/lint-python.sh index 4fc130497b..f83c33cb32 100755 --- a/test/lint/lint-python.sh +++ b/test/lint/lint-python.sh @@ -102,7 +102,7 @@ if ! PYTHONWARNINGS="ignore" flake8 --ignore=B,C,E,F,I,N,W --select=$(IFS=","; e EXIT_CODE=1 fi -if ! mypy --ignore-missing-imports $(git ls-files "test/functional/*.py"); then +if ! mypy --ignore-missing-imports $(git ls-files "test/functional/*.py" "contrib/devtools/*.py"); then EXIT_CODE=1 fi |