diff options
-rwxr-xr-x | contrib/check_GNU_style.sh | 3 | ||||
-rw-r--r-- | gcc/ChangeLog | 5 |
2 files changed, 6 insertions, 2 deletions
diff --git a/contrib/check_GNU_style.sh b/contrib/check_GNU_style.sh index 5f90190..aed90b4 100755 --- a/contrib/check_GNU_style.sh +++ b/contrib/check_GNU_style.sh @@ -86,8 +86,7 @@ col (){ shift 1 grep -nH '^+' $* \ | grep -v ':+++' \ - | cut -f 2 -d '+' \ - | awk '{ if (length ($0) > 80) print $0 }' \ + | awk -F':\\+' '{ if (length($2) > 80) print $0}' \ > $tmp if [ -s $tmp ]; then printf "\n$msg\n" diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 58045f5..a8d9198 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2014-12-10 Mantas Mikaitis <mantas.mikaitis@arm.com> + + * contrib/check_GNU_style.sh (col): Got rid of cut operation + from the pipe chain and instead added cut inside awk command. + 2014-12-10 Richard Biener <rguenther@suse.de> PR tree-optimization/64191 |