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 "" }