diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2014-08-16 22:50:57 +0200 |
|---|---|---|
| committer | Vladimir Serbinenko <phcoder@gmail.com> | 2014-09-03 00:23:26 +0200 |
| commit | f9d7252a8d869cfda08c872b49d3ce5d7c27b083 (patch) | |
| tree | 8fd87b9072218ac2cfd3c4e341d2394f2e4c0f68 /util/lint/lint-stable-005-board-status | |
| parent | d942ed9aa5bb034c2664d27d09ff7b32ed91fb53 (diff) | |
| download | coreboot-f9d7252a8d869cfda08c872b49d3ce5d7c27b083.tar.xz | |
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>
Reviewed-on: http://review.coreboot.org/6798
Tested-by: build bot (Jenkins)
Reviewed-by: Vladimir Serbinenko <phcoder@gmail.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'util/lint/lint-stable-005-board-status')
| -rwxr-xr-x | util/lint/lint-stable-005-board-status | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/lint-stable-005-board-status b/util/lint/lint-stable-005-board-status index ce222e9d8a..32f5cdc0d1 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" |