From b46f5891d297e2440bf2f0845cb9a45de2575a40 Mon Sep 17 00:00:00 2001 From: Vladimir Serbinenko Date: Sun, 17 Aug 2014 23:53:14 +0200 Subject: [PATCH] board-info: Output errors to stdout like make lint-stable expects Change-Id: I7eb2283808cde86c79d6b770a176daee57a7f9f2 Signed-off-by: Vladimir Serbinenko Reviewed-on: http://review.coreboot.org/6696 Tested-by: build bot (Jenkins) Reviewed-by: Paul Menzel Reviewed-by: Edward O'Callaghan --- util/lint/lint-stable-005-board-status | 6 +++--- 1 file 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