Mbed-TLS/mbedtls-framework
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls-framework.git synced 2026-08-06 11:17:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

Allow framework and consuming branch to have Python scripts with the same name

Browse Source 
mypy can't deal with two modules with the same basename on its command line.

We don't normally want modules with the same name in different directories,
to avoid confusion, but it can happen occasionally while moving files across
repositories.

Signed-off-by: Gilles Peskine <[email protected]>
This commit is contained in:
Gilles Peskine
2025-09-12 18:36:18 +02:00
parent 1295140bca
commit 088a99ee20
1 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/check-python-files.sh
+9 -2
View File
@@ -62,7 +62,14 @@ $PYTHON -m pylint framework/scripts/*.py framework/scripts/mbedtls_framework/*.p
echo
echo 'Running mypy ...'
$PYTHON -m mypy framework/scripts/*.py framework/scripts/mbedtls_framework/*.py scripts/*.py tests/scripts/*.py ||
ret=1
$PYTHON -m mypy framework/scripts/*.py framework/scripts/mbedtls_framework/*.py || {
echo >&2 "mypy reported errors in the framework"
ret=1
}
$PYTHON -m mypy scripts/*.py tests/scripts/*.py || {
echo >&2 "pylint reported errors in the parent repository"
ret=1
}
exit $ret