#!/bin/sh

set -e

cd "$(git rev-parse --show-toplevel)"

# pylint3 was replaced with pylint from Ubuntu 19.10
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/\* \
    -and -not -path ./LibOS/shim/test/apps/pytorch/\* \
| sed 's/./\\&/g' \
| xargs "${PYLINT}" "$@" \
    Pal/src/host/Linux-SGX/signer/pal-sgx-get-token \
    Pal/src/host/Linux-SGX/signer/pal-sgx-sign \
    .ci/prfilter