diff --git a/.ci-scripts/panlint b/.ci-scripts/panlint index fdb53b0593..72c42a1308 100755 --- a/.ci-scripts/panlint +++ b/.ci-scripts/panlint @@ -5,4 +5,4 @@ rm -f /tmp/panlint.py wget -q https://raw.githubusercontent.com/quattor/pan/master/panc/src/main/scripts/panlint/panlint.py -O /tmp/panlint.py chmod u+x /tmp/panlint.py -git diff --name-only --diff-filter=d HEAD^ | grep '\.pan$' | xargs -r /tmp/panlint.py || exit 1 +git diff --name-only --diff-filter=d HEAD^ | grep '\.pan$' | xargs -r /tmp/panlint.py --allow_mvn_templates || exit 1