run-pylint 652 B

1234567891011121314151617181920212223
  1. #!/bin/sh
  2. set -e
  3. cd "$(git rev-parse --show-toplevel)"
  4. # pylint3 was replaced with pylint from Ubuntu 19.10
  5. PYLINT=$(command -v pylint3) || true
  6. if [ -z "$PYLINT" ]; then
  7. PYLINT=$(command -v pylint)
  8. fi
  9. find . -name \*.py \
  10. -and -not -path ./Pal/lib/crypto/mbedtls/\* \
  11. -and -not -path ./LibOS/glibc-build/\* \
  12. -and -not -path ./LibOS/glibc-\?.\?\?/\* \
  13. -and -not -path ./LibOS/shim/test/apps/ltp/opt/\* \
  14. -and -not -path ./LibOS/shim/test/apps/ltp/src/\* \
  15. | sed 's/./\\&/g' \
  16. | xargs "${PYLINT}" "$@" \
  17. Pal/src/host/Linux-SGX/signer/pal-sgx-get-token \
  18. Pal/src/host/Linux-SGX/signer/pal-sgx-sign \
  19. .ci/prfilter