#!/bin/sh

set -e

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

# pylint3 was replaced with pylint from Ubuntu 19.10
PYLINT=$(command -v pylint3)
if [ -z "$PYLINT" ]; then
    PYLINT=$(command -v pylint)
fi

find . -name \*.py \
    -and -not -path ./LibOS/shim/test/apps/ltp/src/\* \
| 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
