mirror of
https://github.com/yuzu-emu/mbedtls.git
synced 2024-11-26 07:35:42 +01:00
Make mypy unconditional
Running mypy was optional for a transition period when it wasn't installed on the CI. Now that it is, make it mandatory, to avoid silently skipping an expected check if mypy doesn't work for some reason. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This commit is contained in:
parent
f70ccb0038
commit
df57835a76
@ -17,7 +17,7 @@
|
|||||||
|
|
||||||
# Purpose: check Python files for potential programming errors or maintenance
|
# Purpose: check Python files for potential programming errors or maintenance
|
||||||
# hurdles. Run pylint to detect some potential mistakes and enforce PEP8
|
# hurdles. Run pylint to detect some potential mistakes and enforce PEP8
|
||||||
# coding standards. If available, run mypy to perform static type checking.
|
# coding standards. Run mypy to perform static type checking.
|
||||||
|
|
||||||
# We'll keep going on errors and report the status at the end.
|
# We'll keep going on errors and report the status at the end.
|
||||||
ret=0
|
ret=0
|
||||||
@ -72,12 +72,9 @@ $PYTHON -m pylint -j 2 scripts/mbedtls_dev/*.py scripts/*.py tests/scripts/*.py
|
|||||||
ret=1
|
ret=1
|
||||||
}
|
}
|
||||||
|
|
||||||
# Check types if mypy is available
|
echo
|
||||||
if can_mypy; then
|
echo 'Running mypy ...'
|
||||||
echo
|
$PYTHON -m mypy scripts/*.py tests/scripts/*.py ||
|
||||||
echo 'Running mypy ...'
|
ret=1
|
||||||
$PYTHON -m mypy scripts/*.py tests/scripts/*.py ||
|
|
||||||
ret=1
|
|
||||||
fi
|
|
||||||
|
|
||||||
exit $ret
|
exit $ret
|
||||||
|
Loading…
Reference in New Issue
Block a user