Vladimir Serbinenko (phcoder@gmail.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/6752
-gerrit
commit 69e3eb877fbb40cb4cf42be2e3bfc27c3c49eb6a Author: Vladimir Serbinenko phcoder@gmail.com Date: Sun Aug 24 22:32:27 2014 +0200
lint-stable: Skip Kconfig files in board-status.
Change-Id: I7a3a24ccdca273b9715ea73e9293b737218af443 Signed-off-by: Vladimir Serbinenko phcoder@gmail.com --- util/lint/lint-stable-005-board-status | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/util/lint/lint-stable-005-board-status b/util/lint/lint-stable-005-board-status index ce222e9..1e53811 100755 --- a/util/lint/lint-stable-005-board-status +++ b/util/lint/lint-stable-005-board-status @@ -20,7 +20,7 @@ # DESCR: Check that every board has a meaningful board_info.txt
LC_ALL=C export LC_ALL -for mobodir in $(git diff --name-status |grep -v "^D" |cut -c3- | sed -n 's,^(src/mainboard/[^/]*/[^/]*).*$,\1,p'|sort|uniq); do +for mobodir in $(git diff --name-status |grep -v "^D" |cut -c3- | sed -n 's,^(src/mainboard/[^/]*/[^/]*).*$,\1,p'|grep -v Kconfig|sort|uniq); do board_info="$mobodir/board_info.txt" if ! [ -f "$board_info" ]; then echo "No $board_info found"