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>
This commit is contained in:
parent
d942ed9aa5
commit
f9d7252a8d
|
@ -20,7 +20,7 @@
|
||||||
# DESCR: Check that every board has a meaningful board_info.txt
|
# DESCR: Check that every board has a meaningful board_info.txt
|
||||||
|
|
||||||
LC_ALL=C export LC_ALL
|
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"
|
board_info="$mobodir/board_info.txt"
|
||||||
if ! [ -f "$board_info" ]; then
|
if ! [ -f "$board_info" ]; then
|
||||||
echo "No $board_info found"
|
echo "No $board_info found"
|
||||||
|
|
Loading…
Reference in New Issue