From 7b4c8877aceec093c5fca9c7ad040b6eecc8059f Mon Sep 17 00:00:00 2001 From: Stefan Wildemann Date: Tue, 1 Oct 2019 09:15:42 +0200 Subject: fix:circleci: do not download build environment for sanity check (#891) and reenable xml lint for all configurations shipped. --- .circleci/config.yml | 2 +- navit/navit.dtd | 12 +++++++++++- scripts/ci_sanity_checks.sh | 2 +- scripts/setup_sanitycheck_requirements.sh | 4 ++++ 4 files changed, 17 insertions(+), 3 deletions(-) create mode 100644 scripts/setup_sanitycheck_requirements.sh diff --git a/.circleci/config.yml b/.circleci/config.yml index b4fef97e0..f89d922c0 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -9,7 +9,7 @@ jobs: - checkout - run: name: Setup requirements - command: bash scripts/setup_common_requirements.sh + command: bash scripts/setup_sanitycheck_requirements.sh - run: name: run sanity check script command: bash scripts/ci_sanity_checks.sh diff --git a/navit/navit.dtd b/navit/navit.dtd index 645816a93..6ab800b96 100644 --- a/navit/navit.dtd +++ b/navit/navit.dtd @@ -17,13 +17,14 @@ - + + @@ -107,6 +108,10 @@ + + + + @@ -127,22 +132,26 @@ + + + + @@ -152,6 +161,7 @@ + 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=$? diff --git a/scripts/setup_sanitycheck_requirements.sh b/scripts/setup_sanitycheck_requirements.sh new file mode 100644 index 000000000..263669a7c --- /dev/null +++ b/scripts/setup_sanitycheck_requirements.sh @@ -0,0 +1,4 @@ +#!/bin/sh +set -e + +apt-get update && apt-get install -y git astyle libxml2-utils file -- cgit v1.2.1