mirror/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2024-12-29 09:21:19 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

mypy: require at least version 0.780

Browse Source 
0.780 works. The previous release, 0.770, does not.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This commit is contained in:
Gilles Peskine 2021-01-19 21:58:09 +01:00
parent 4738b96d75
commit 0370c17105
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
tests/scripts/check-python-files.sh
View File

@ -49,11 +49,10 @@ can_pylint () {
}
can_mypy () {
# Just check that mypy is present and looks sane. I don't know what
# minimum version is required. The check is not just "type mypy"
# because that passes if a mypy exists but is not installed for the current
# python version.
$PYTHON -m mypy --version 2>/dev/null >/dev/null
# mypy 0.770 is too old:
# tests/scripts/test_psa_constant_names.py:34: error: Cannot find implementation or library stub for module named 'mbedtls_dev'
# mypy 0.780 from pip passed on the first commit containing this line.
check_version mypy.version 0.780
}
# With just a --can-xxx option, check whether the tool for xxx is available