Patrick Georgi (patrick@georgi-clan.de) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/6798
-gerrit
commit f90ddf8c8dd00647e3931201145030ad2fe08536 Author: Patrick Georgi patrick@georgi-clan.de Date: Sat Aug 16 22:50:57 2014 +0200
lint: simplify board-status check
git can do lots of things by itself, no need to parse its output and redo that.
Change-Id: Id2cdd2ea8d34c1ba2b0abddc88e1f3260d74f47d Signed-off-by: Patrick Georgi patrick@georgi-clan.de --- 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..e06472d 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 --diff-filter ACMR --name-only src/mainboard | sed -n 's,^(src/mainboard/[^/]*/[^/]*).*$,\1,p'|sort|uniq); do board_info="$mobodir/board_info.txt" if ! [ -f "$board_info" ]; then echo "No $board_info found"