diff options
Diffstat (limited to 'contrib/check_GNU_style.sh')
| -rwxr-xr-x | contrib/check_GNU_style.sh | 7 |
1 files changed, 5 insertions, 2 deletions
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.' $* |