diff options
author | OLFDB <olf@eisenzelt.de> | 2019-09-25 10:34:52 +0200 |
---|---|---|
committer | lains <lains@caramail.com> | 2019-09-25 10:34:52 +0200 |
commit | c85a42d8ce58bc276e133867c8e3efd9de1c74ee (patch) | |
tree | a36f6eca503fef4a4cbcbf61884139d25af4bcf4 /scripts | |
parent | 9bfeb7edd653d5d983483a4a3a2befc5a3c38b04 (diff) | |
download | navit-c85a42d8ce58bc276e133867c8e3efd9de1c74ee.tar.gz |
Feature:Support USERPROFILE folder for Windows target (#758)
* Rework:USERPROFILE for Windows
Use extended environment_vars array for Windows. Use ~ to provide
homedir for Windows using USERPROFILE.
Diffstat (limited to 'scripts')
-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 cceec6397..e8cac4787 100755 --- a/scripts/ci_sanity_checks.sh +++ b/scripts/ci_sanity_checks.sh @@ -30,7 +30,7 @@ interval=${from}..${to} [[ "${from}" == "${to}" ]] && interval=${to} for f in $(git diff --name-only ${interval} | sort -u); do - if [[ "${f}" =~ navit/support/ ]] || [[ "${f}" =~ navit/fib-1\.1/ ]]; then + if [[ "${f}" =~ navit/support/ ]] || [[ "${f}" =~ navit/fib-1\.1/ ]] || [[ "${f}" =~ navit/traffic/permanentrestrictions/ ]] ; then echo "[DEBUG] Skipping file ${f} ..." continue fi |