Merge branch 'check-pol' of io/registry into master

This commit is contained in:
jrb0001 2018-01-19 22:59:37 +00:00 committed by dn42 Git Service
commit 0f0d34068a

View file

@ -12,7 +12,7 @@ BASE="$(dirname "$BASE")"
cd "$BASE" || exit 1
git diff --name-only $1 | while IFS='/' read -ra LINE; do
if [[ "${LINE[0]}" = "data" ]]; then
if [[ "${LINE[0]}" = "data" && -n "${LINE[2]}" ]]; then
utils/schema-check/dn42-schema.py -v policy ${LINE[1]} ${LINE[2]} $2
fi
done