diff --git a/test/lint/lint-python.sh b/test/lint/lint-python.sh index a889c9ff33..9b4cd2820f 100755 --- a/test/lint/lint-python.sh +++ b/test/lint/lint-python.sh @@ -111,7 +111,7 @@ if ! PYTHONWARNINGS="ignore" $FLAKECMD --ignore=B,C,E,F,I,N,W --select=$(IFS="," EXIT_CODE=1 fi -if ! mypy --ignore-missing-imports $(git ls-files "test/functional/*.py" "contrib/devtools/*.py" | grep -v contrib/devtools/github-merge.py) ; then +if ! mypy --ignore-missing-imports --show-error-codes $(git ls-files "test/functional/*.py" "contrib/devtools/*.py" | grep -v contrib/devtools/github-merge.py) ; then EXIT_CODE=1 fi