summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-005-board-status
diff options
context:
space:
mode:
authorMartin Roth <martin@coreboot.org>2022-06-03 00:06:57 -0600
committerMartin L Roth <gaumless@gmail.com>2022-09-30 19:19:53 +0000
commitd81debd9467f7e0d5a255ed7f6b5f1916c613b77 (patch)
tree224623fc3af10180d652c7c0d7c39925e74e3763 /util/lint/lint-stable-005-board-status
parent7726a7f272965d9279e4c8008b893751203aa304 (diff)
util/lint: Update tools that use git to use a library
Each of the tools that used git had similar functionality. This combines all of that into a single script that gets sourced by each. This makes maintenance much easier. By doing this and updating each of the scripts to do the correct thing if the script isn't being run in a git repository, it makes them work much better for the releases, which are just released as a tarball, without any attached git repository. Change-Id: I61ba1cc4f7205e0d4baf993588bbc774120405cb Signed-off-by: Martin Roth <martin@coreboot.org> Reviewed-on: https://review.coreboot.org/c/coreboot/+/64973 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Diffstat (limited to 'util/lint/lint-stable-005-board-status')
-rwxr-xr-xutil/lint/lint-stable-005-board-status12
1 files changed, 10 insertions, 2 deletions
diff --git a/util/lint/lint-stable-005-board-status b/util/lint/lint-stable-005-board-status
index 617440bd14..08cbc92c66 100755
--- a/util/lint/lint-stable-005-board-status
+++ b/util/lint/lint-stable-005-board-status
@@ -3,8 +3,16 @@
#
# DESCR: Check that every board has a meaningful board_info.txt
-LC_ALL=C export LC_ALL
-for mobodir in $(git ls-files src/mainboard | sed -n 's,^\(src/mainboard/[^/]*/[^/]*\)/.*$,\1,p'|sort|uniq); do
+
+LINTDIR="$(
+ cd -- "$(dirname "$0")" > /dev/null 2>&1 || return
+ pwd -P
+)"
+
+# shellcheck source=helper_functions.sh
+. "${LINTDIR}/helper_functions.sh"
+
+for mobodir in $(${FIND_FILES} src/mainboard | sed -n 's,^\(src/mainboard/[^/]*/[^/]*\)/.*$,\1,p'|sort|uniq); do
board_info="$mobodir/board_info.txt"
if ! [ -f "$board_info" ]; then
echo "No $board_info found"