summaryrefslogtreecommitdiff
path: root/util/lint
diff options
context:
space:
mode:
authorPatrick Georgi <patrick@georgi-clan.de>2014-08-16 22:50:57 +0200
committerVladimir Serbinenko <phcoder@gmail.com>2014-09-03 00:23:26 +0200
commitf9d7252a8d869cfda08c872b49d3ce5d7c27b083 (patch)
tree8fd87b9072218ac2cfd3c4e341d2394f2e4c0f68 /util/lint
parentd942ed9aa5bb034c2664d27d09ff7b32ed91fb53 (diff)
downloadcoreboot-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')
-rwxr-xr-xutil/lint/lint-stable-005-board-status2
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"