diff options
| author | Tom de Vries <tom@codesourcery.com> | 2015-05-12 16:23:38 +0000 |
|---|---|---|
| committer | Tom de Vries <vries@gcc.gnu.org> | 2015-05-12 16:23:38 +0000 |
| commit | cc1e0483ae354533c559a3b542351f0024e5ba41 (patch) | |
| tree | 1dccfa8af972465d6efe228b48904f2cc7d547ca /contrib | |
| parent | a22e33d04a2cb3c3501cd93d6273190f635206dd (diff) | |
| download | gcc-cc1e0483ae354533c559a3b542351f0024e5ba41.zip gcc-cc1e0483ae354533c559a3b542351f0024e5ba41.tar.gz gcc-cc1e0483ae354533c559a3b542351f0024e5ba41.tar.bz2 | |
check_GNU_style.sh: Fix tab size in 80 characters check
2015-05-12 Tom de Vries <tom@codesourcery.com>
* check_GNU_style.sh (col): Fix tab size.
From-SVN: r223088
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/ChangeLog | 4 | ||||
| -rwxr-xr-x | contrib/check_GNU_style.sh | 38 |
2 files changed, 35 insertions, 7 deletions
diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 97941f7..e9768a2 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,5 +1,9 @@ 2015-05-12 Tom de Vries <tom@codesourcery.com> + * check_GNU_style.sh (col): Fix tab size. + +2015-05-12 Tom de Vries <tom@codesourcery.com> + * check_GNU_style.sh: Put stdin into a temp file. 2015-05-12 Tom de Vries <tom@codesourcery.com> diff --git a/contrib/check_GNU_style.sh b/contrib/check_GNU_style.sh index 318eb6a..90c612f 100755 --- a/contrib/check_GNU_style.sh +++ b/contrib/check_GNU_style.sh @@ -116,13 +116,37 @@ vg (){ col (){ msg="$1" - cat $inp \ - | awk -F':\\+' '{ if (length($2) > 80) print $0}' \ - > $tmp - if [ -s $tmp ]; then - printf "\n$msg\n" - cat $tmp - fi + local first=true + local f + for f in $files; do + local prefix="" + if [ $nfiles -ne 1 ]; then + prefix="$f:" + fi + + # Don't reuse $inp, which may be generated using -H and thus contain a + # file prefix. + grep -n '^+' $f \ + | grep -v ':+++' \ + > $tmp + + cat $tmp | while IFS= read -r line; do + local longline + # Filter out the line number prefix and the patch line modifier '+' + # to obtain the bare line, before we use expand. + longline=$(echo "$line" \ + | sed 's/^[0-9]*:+//' \ + | expand \ + | awk '{ if (length($0) > 80) print $0}') + if [ "$longline" != "" ]; then + if $first; then + printf "\n$msg\n" + first=false + fi + echo "$prefix$line" + fi + done + done } col 'Lines should not exceed 80 characters.' |