#!/bin/sh

set -e

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

find . -name \*.py \
    -and -not -path ./LibOS/shim/test/apps/ltp/src/\* \
| sed 's/./\\&/g' \
| xargs pylint3 "$@" \
    Pal/src/host/Linux-SGX/signer/pal-sgx-get-token \
    Pal/src/host/Linux-SGX/signer/pal-sgx-sign \
    Tools/gen_manifest \
    Tools/gsce \
    .ci/prfilter
