summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Roth <martinroth@google.com>2016-03-16 15:58:23 -0600
committerMartin Roth <martinroth@google.com>2016-03-29 23:30:47 +0200
commit92658db3ca00b230a7effd5408d0492a44f9b3f3 (patch)
tree6ce21fdd0f6643489616b438d00d728b2ae56fb6
parent735eccea4af0395bf19bc1c54bd765ec2b474f41 (diff)
lint: Update board status script to look at the whole tree
The board status script wasn't checking the entire tree to make sure that all boards had board_info.txt files. Also it would only print out the first issue that was found. Change-Id: I5f2fa9e564c805c6dbee7a35cab80c1c342567a5 Signed-off-by: Martin Roth <martinroth@google.com> Reviewed-on: https://review.coreboot.org/14118 Tested-by: build bot (Jenkins) Reviewed-by: Vladimir Serbinenko <phcoder@gmail.com>
-rwxr-xr-xutil/lint/lint-stable-005-board-status8
1 files changed, 4 insertions, 4 deletions
diff --git a/util/lint/lint-stable-005-board-status b/util/lint/lint-stable-005-board-status
index 61813eaa10..952a9b5c6f 100755
--- a/util/lint/lint-stable-005-board-status
+++ b/util/lint/lint-stable-005-board-status
@@ -16,11 +16,11 @@
# DESCR: Check that every board has a meaningful board_info.txt
LC_ALL=C export LC_ALL
-for mobodir in $(git diff --diff-filter ACMR --name-only src/mainboard | sed -n 's,^\(src/mainboard/[^/]*/[^/]*\)/.*$,\1,p'|sort|uniq); do
+for mobodir in $(git ls-files 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"
- exit 1
+ continue
fi
category="$(sed -n 's#^Category: \(.*\)$#\1#p' < "$board_info")"
case "$category" in
@@ -28,11 +28,11 @@ for mobodir in $(git diff --diff-filter ACMR --name-only src/mainboard | sed -n
;;
"")
echo "$board_info doesn't contain 'Category' tag"
- exit 1
+ continue
;;
*)
echo "$board_info specifies unknown category '$category'"
- exit 1
+ continue
;;
esac
done