From ef1d48ee1d618a94ac5800760dd0a147c0aa951b Mon Sep 17 00:00:00 2001 From: Sean Rhodes Date: Thu, 4 Sep 2025 20:50:35 +0100 Subject: [PATCH] util/lint: Don't check for Kconfig.name in common directory `src/mainboard/*/common` doesn't need a Kconfig.name, so don't check for one. Change-Id: I6c69c174287f7f068e28ed9c33b9b5542c87ca60 Signed-off-by: Sean Rhodes Reviewed-on: https://review.coreboot.org/c/coreboot/+/89051 Reviewed-by: Matt DeVillier Tested-by: build bot (Jenkins) Reviewed-by: Martin L Roth --- util/lint/lint-stable-006-board-name | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/util/lint/lint-stable-006-board-name b/util/lint/lint-stable-006-board-name index 6f4e4b6751..6a93f4e42a 100755 --- a/util/lint/lint-stable-006-board-name +++ b/util/lint/lint-stable-006-board-name @@ -17,6 +17,10 @@ for i in src/mainboard/*/; do done for i in src/mainboard/*/*/; do + case "$i" in + */common/) continue ;; + esac + if [ -r $i/Kconfig ]; then if [ ! -r $i/Kconfig.name ]; then BOARD="$(grep -A2 MAINBOARD_PART_NUMBER $i/Kconfig | tail -1 | cut -f2 -d\")"