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"