From d963be795d0e66348fa2e1b2d6bd00cf3dcb1d70 Mon Sep 17 00:00:00 2001
From: Emanuele Torre <torreemanuele6@gmail.com>
Date: Thu, 28 May 2020 21:03:55 +0200
Subject: [PATCH] Meta: update lint-shell-scripts.sh so that it does not search
 in Build/

We now use git-ls-files(1) instead of find(1).
---
 Meta/lint-shell-scripts.sh | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/Meta/lint-shell-scripts.sh b/Meta/lint-shell-scripts.sh
index ddb4ccf114..26495c2696 100755
--- a/Meta/lint-shell-scripts.sh
+++ b/Meta/lint-shell-scripts.sh
@@ -6,19 +6,19 @@ cd "$script_path/.."
 
 ERRORS=()
 
-for f in $(find . -path ./Root -prune -o \
-    -path ./Ports -prune -o \
-    -path ./.git -prune -o \
-    -path ./Toolchain -prune -o \
-    -type f | sort -u); do
+while IFS= read -r f; do
     if file "$f" | grep --quiet shell; then
         {
             shellcheck "$f" && echo -e "[\033[0;32mOK\033[0m]: sucessfully linted $f"
         } || {
             ERRORS+=("$f")
         }
-fi
-done
+    fi
+done < <(git ls-files -- \
+    '*.sh' \
+    ':!:Toolchain' \
+    ':!:Ports' \
+)
 
 if (( ${#ERRORS[@]} )); then
     echo "Files failing shellcheck: ${ERRORS[*]}"