mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-02-18 13:10:25 +08:00
Code Issues Packages Projects Releases Wiki Activity

check_GNU_style.sh: Fix tab size in 80 characters check

Browse Source 
2015-05-12  Tom de Vries  <tom@codesourcery.com>

	* check_GNU_style.sh (col): Fix tab size.

From-SVN: r223088
This commit is contained in:
Tom de Vries 2015-05-12 16:23:38 +00:00 committed by Tom de Vries
parent a22e33d04a
commit cc1e0483ae
2 changed files with 35 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
contrib/ChangeLog
View File

@ -1,3 +1,7 @@
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.

38
contrib/check_GNU_style.sh
View File

@ -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.'