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\")"