From 6d82a7ef9f1b27795712ddfa1c6cdf6716c2f388 Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Tue, 19 Jan 2021 21:19:25 +0100 Subject: [PATCH] Say we're running pylint Now that the script might additionally run mypy, it's more user-friendly to indicate what's going on at the beginning as well. Signed-off-by: Gilles Peskine --- tests/scripts/check-python-files.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/scripts/check-python-files.sh b/tests/scripts/check-python-files.sh index 11e351b60f..df4821a336 100755 --- a/tests/scripts/check-python-files.sh +++ b/tests/scripts/check-python-files.sh @@ -62,6 +62,7 @@ elif [ "$1" = "--can-mypy" ]; then exit fi +echo 'Running pylint ...' $PYTHON -m pylint -j 2 scripts/mbedtls_dev/*.py scripts/*.py tests/scripts/*.py || { echo >&2 "pylint reported errors" ret=1