diff options
| -rw-r--r-- | contrib/ChangeLog | 5 | ||||
| -rwxr-xr-x | contrib/check_GNU_style.sh | 7 |
2 files changed, 10 insertions, 2 deletions
diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 26c446c3be7..000d274be84 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,8 @@ +2010-07-02 Sebastian Pop <sebastian.pop@amd.com> + + * check_GNU_style.sh: Do not print warning messages when there are + no occurences. + 2010-09-13 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> * gcc_update: Handle hg, too. diff --git a/contrib/check_GNU_style.sh b/contrib/check_GNU_style.sh index 6396417fab7..8fb579fd160 100755 --- a/contrib/check_GNU_style.sh +++ b/contrib/check_GNU_style.sh @@ -84,8 +84,11 @@ col (){ | grep -v ':+++' \ | cut -f 2 -d '+' \ | awk '{ if (length ($0) > 80) print $0 }' \ - > $tmp && printf "\n$msg\n" - cat $tmp + > $tmp + if [ -s $tmp ]; then + printf "\n$msg\n" + cat $tmp + fi } col 'Lines should not exceed 80 characters.' $* |