From c85a42d8ce58bc276e133867c8e3efd9de1c74ee Mon Sep 17 00:00:00 2001
From: OLFDB <olf@eisenzelt.de>
Date: Wed, 25 Sep 2019 10:34:52 +0200
Subject: 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.
---
 scripts/ci_sanity_checks.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts')

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
-- 
cgit v1.2.1