|
@@ -5,12 +5,16 @@ set -e
|
|
|
cd "$(git rev-parse --show-toplevel)"
|
|
|
|
|
|
# pylint3 was replaced with pylint from Ubuntu 19.10
|
|
|
-PYLINT=$(command -v pylint3)
|
|
|
+PYLINT=$(command -v pylint3) || true
|
|
|
if [ -z "$PYLINT" ]; then
|
|
|
PYLINT=$(command -v pylint)
|
|
|
fi
|
|
|
|
|
|
find . -name \*.py \
|
|
|
+ -and -not -path ./Pal/lib/crypto/mbedtls/\* \
|
|
|
+ -and -not -path ./LibOS/glibc-build/\* \
|
|
|
+ -and -not -path ./LibOS/glibc-\?.\?\?/\* \
|
|
|
+ -and -not -path ./LibOS/shim/test/apps/ltp/opt/\* \
|
|
|
-and -not -path ./LibOS/shim/test/apps/ltp/src/\* \
|
|
|
| sed 's/./\\&/g' \
|
|
|
| xargs "${PYLINT}" "$@" \
|