diff options
Diffstat (limited to 'scripts/ci_sanity_checks.sh')
-rwxr-xr-x | scripts/ci_sanity_checks.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ci_sanity_checks.sh b/scripts/ci_sanity_checks.sh index e8cac4787..33d05263c 100755 --- a/scripts/ci_sanity_checks.sh +++ b/scripts/ci_sanity_checks.sh @@ -52,7 +52,7 @@ for f in $(git diff --name-only ${interval} | sort -u); do check_diff fi - if [[ "${f}" == "navit/navit_shipped.xml" ]]; then + if [[ "${f: -11}" == "shipped.xml" ]]; then echo "[INFO] Checking for compliance with the DTD using xmllint on ${f}..." xmllint --noout --dtdvalid navit/navit.dtd "$f" rc=$? |