#!/usr/bin/env bash # Copyright Kani Contributors # SPDX-License-Identifier: Apache-2.0 OR MIT set -o errexit set -o pipefail set -o nounset CI_SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" export PATH=$CI_SCRIPT_DIR:$PATH KANI_DIR=$CI_SCRIPT_DIR/../.. # Filter the files for copyright check based on the patterns in `copyright-exclude` # Exclude rustdoc to reduce conflicts for now: # https://github.com/model-checking/kani/issues/974 git ls-files $KANI_DIR |\ grep -v -E -f $CI_SCRIPT_DIR/copyright-exclude |\ xargs -d "\n" ./scripts/ci/copyright_check.py