From 5cb36eb16c505cab3491c6eb6ae4eb405b32f5cd Mon Sep 17 00:00:00 2001 From: Sean Rhodes Date: Thu, 4 Sep 2025 20:48:15 +0100 Subject: [PATCH] util/lint: Don't check for board_info.txt in common directory Adjust the linter to skip `common` directories, as a board_info.txt serves no purpose there. This also changes `sort | uniq` to `sort -u` for efficiency. Change-Id: I29639d8b620bcd4f2f7032802f375d79ac391535 Signed-off-by: Sean Rhodes Reviewed-on: https://review.coreboot.org/c/coreboot/+/89050 Reviewed-by: Martin L Roth Tested-by: build bot (Jenkins) Reviewed-by: Matt DeVillier --- util/lint/lint-stable-005-board-status | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/util/lint/lint-stable-005-board-status b/util/lint/lint-stable-005-board-status index 08cbc92c66..a772352b31 100755 --- a/util/lint/lint-stable-005-board-status +++ b/util/lint/lint-stable-005-board-status @@ -12,7 +12,9 @@ LINTDIR="$( # 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 +for mobodir in $(${FIND_FILES} src/mainboard | sed -n 's,^\(src/mainboard/[^/]*/[^/]*\)/.*$,\1,p' \ + | grep -v '/common$' | sort -u); do + board_info="$mobodir/board_info.txt" if ! [ -f "$board_info" ]; then echo "No $board_info found"