You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
#!/usr/bin/env bash
|
|
|
set -o pipefail
|
|
|
|
|
|
if [ $# -eq 0 ]
|
|
|
then
|
|
|
echo "Usage: $0 COMMIT YOUR-MNT"
|
|
|
exit
|
|
|
fi
|
|
|
|
|
|
BASE="$(readlink -f "$0" 2>/dev/null || python -c 'import os,sys;print(os.path.realpath(sys.argv[1]))' "$0")"
|
|
|
BASE="$(dirname "$BASE")"
|
|
|
cd "$BASE" || exit 1
|
|
|
|
|
|
git diff --name-only "$1" | while IFS='/' read -ra LINE; do
|
|
|
if [[ "${LINE[0]}" = "data" && -n "${LINE[2]}" ]]; then
|
|
|
utils/schema-check/nx3_schema.py -v policy "${LINE[1]}" "${LINE[2]}" "$2"
|
|
|
fi
|
|
|
done
|