[coreboot-gerrit] Patch set updated for coreboot: 288ff74 lint: simplify board-status check

Patrick Georgi (patrick@georgi-clan.de) gerrit at coreboot.org
Fri Aug 29 21:15:10 CEST 2014


Patrick Georgi (patrick at georgi-clan.de) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/6798

-gerrit

commit 288ff741c38ac70a654bdb9cf9f360f75c732931
Author: Patrick Georgi <patrick at 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 at 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..32f5cdc 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"



More information about the coreboot-gerrit mailing list