commit 8f100b920e5795dc6ff7231173a94a119c04788c Author: teor teor2345@gmail.com Date: Thu Feb 23 17:13:00 2017 +1100

Make warnings.sh output errs as well

Closes #21532. --- tools/warnings.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/warnings.sh b/tools/warnings.sh index e330e84..46d3f0a 100755 --- a/tools/warnings.sh +++ b/tools/warnings.sh @@ -14,7 +14,8 @@ fi

function show_warnings() { echo "${GREEN}Node `basename $1`:${NC}" - sed -n 's/^.*[warn]//p' $1/info.log | sort | uniq -c | \ + # Label errs as "Warning:", they're infrequent enough it doesn't matter + sed -n -E 's/^.*[(warn|err)]//p' $1/info.log | sort | uniq -c | \ sed -e 's/^\s*//' -e "s/ *([0-9][0-9]*) *(.*)/ ${YELLOW}Warning:${NC} \2${YELLOW} Number: \1${NC}/" echo "" }