commit 5a651440843b7fa83e6699a994747b59639b354e Author: Ignacio Gago igago@ucm.es Date: Wed Dec 17 22:54:46 2014 +0100

Bug corrected --- tools/warnings.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/warnings.sh b/tools/warnings.sh index b99623b..fc34419 100755 --- a/tools/warnings.sh +++ b/tools/warnings.sh @@ -11,7 +11,7 @@

function show_warnings() { echo "${GREEN}Node `basename $1`:${NC}" - sed -n 's/^.*[warn]//p' $1/info.log | uniq -c | \ + sed -n 's/^.*[warn]//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 "" }