GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

board-info: Output errors to stdout like make lint-stable expects 

Change-Id: I7eb2283808cde86c79d6b770a176daee57a7f9f2
Signed-off-by: Vladimir Serbinenko <phcoder@gmail.com>
Reviewed-on: http://review.coreboot.org/6696
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
This commit is contained in:
Vladimir Serbinenko 2014-08-17 23:53:14 +02:00
parent f7a7ec09d8
commit b46f5891d2
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
util/lint/lint-stable-005-board-status
View File

@ -23,7 +23,7 @@ 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 --name-status |grep -v "^D" |cut -c3- | 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" >&2 echo "No $board_info found"
exit 1 exit 1
fi fi
category="$(sed -n 's#^Category: \(.*\)$#\1#p' < "$board_info")" category="$(sed -n 's#^Category: \(.*\)$#\1#p' < "$board_info")"
@ -31,11 +31,11 @@ for mobodir in $(git diff --name-status |grep -v "^D" |cut -c3- | sed -n 's,^\(s
desktop|server|laptop|half|mini|settop|"eval"|sbc|emulation|misc) desktop|server|laptop|half|mini|settop|"eval"|sbc|emulation|misc)
;; ;;
"") "")
echo "$board_info doesn't contain 'Category' tag" >&2 echo "$board_info doesn't contain 'Category' tag"
exit 1 exit 1
;; ;;
*) *)
echo "$board_info specifies unknown category '$category'" >&2 echo "$board_info specifies unknown category '$category'"
exit 1 exit 1
;; ;;
esac esac