From b13ed70b3268705af934505b38a7f56fb8d9c498 Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Fri, 11 Dec 2020 00:58:48 +0100 Subject: [PATCH] Check scripts/mbedtls_dev/*.py with pylint mypy automatically checks the modules when it encounters them as imports. Don't make it check them twice, because it would complain about encountering them through different paths (via the command line as scripts/mbedtls_dev/*.py and via imports as just mbedtls_dev/*.py). Signed-off-by: Gilles Peskine --- tests/scripts/check-python-files.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/scripts/check-python-files.sh b/tests/scripts/check-python-files.sh index a80860d51..8f8026eb3 100755 --- a/tests/scripts/check-python-files.sh +++ b/tests/scripts/check-python-files.sh @@ -28,7 +28,7 @@ else PYTHON=python fi -$PYTHON -m pylint -j 2 scripts/*.py tests/scripts/*.py || { +$PYTHON -m pylint -j 2 scripts/mbedtls_dev/*.py scripts/*.py tests/scripts/*.py || { echo >&2 "pylint reported errors" ret=1 }