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

Use $PYTHON when running mypy

Browse Source 
Make sure to run mypy with the desired Python version.

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

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

@ -53,7 +53,7 @@ can_mypy () {
# 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.
mypy --version 2>/dev/null >/dev/null
$PYTHON -m mypy --version 2>/dev/null >/dev/null
}
# With just a --can-xxx option, check whether the tool for xxx is available
@ -77,7 +77,7 @@ $PYTHON -m pylint -j 2 scripts/mbedtls_dev/*.py scripts/*.py tests/scripts/*.py
if can_mypy; then
echo
echo 'Running mypy ...'
mypy scripts/*.py tests/scripts/*.py ||
$PYTHON -m mypy scripts/*.py tests/scripts/*.py ||
ret=1
fi