diff options
| author | Stefan Wildemann <metalstrolch@users.noreply.github.com> | 2019-10-01 09:15:42 +0200 |
|---|---|---|
| committer | Viktor Verebelyi <vviktor2@gmail.com> | 2020-09-22 02:15:33 +0100 |
| commit | 3657a49dc0143e1c99e872c4b979b5509e416841 (patch) | |
| tree | 340e556ab73e74fe05c9f1b9fc19b233cb487d9d /scripts | |
| parent | 726924450923eb92c67643247aa1a54c168da53b (diff) | |
| download | navit-3657a49dc0143e1c99e872c4b979b5509e416841.tar.gz | |
fix:circleci: do not download build environment for sanity check (#891)
and reenable xml lint for all configurations shipped.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/ci_sanity_checks.sh | 2 | ||||
| -rw-r--r-- | scripts/setup_sanitycheck_requirements.sh | 4 |
2 files changed, 5 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=$? 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 |