summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVladimir Serbinenko <phcoder@gmail.com>2014-08-17 23:53:14 +0200
committerVladimir Serbinenko <phcoder@gmail.com>2014-08-18 09:09:22 +0200
commitb46f5891d297e2440bf2f0845cb9a45de2575a40 (patch)
tree6a444d97387c561f6ab64a4722b9dc1df9deaa44
parentf7a7ec09d871c52bbf7cda016d2f814831de565e (diff)
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>
-rwxr-xr-xutil/lint/lint-stable-005-board-status6
1 files changed, 3 insertions, 3 deletions
diff --git a/util/lint/lint-stable-005-board-status b/util/lint/lint-stable-005-board-status
index 2ef2e3b7f5..ce222e9d8a 100755
--- a/util/lint/lint-stable-005-board-status
+++ b/util/lint/lint-stable-005-board-status
@@ -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
board_info="$mobodir/board_info.txt"
if ! [ -f "$board_info" ]; then
- echo "No $board_info found" >&2
+ echo "No $board_info found"
exit 1
fi
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)
;;
"")
- echo "$board_info doesn't contain 'Category' tag" >&2
+ echo "$board_info doesn't contain 'Category' tag"
exit 1
;;
*)
- echo "$board_info specifies unknown category '$category'" >&2
+ echo "$board_info specifies unknown category '$category'"
exit 1
;;
esac