diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/find_stray_empty_lines | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/scripts/find_stray_empty_lines b/scripts/find_stray_empty_lines index 17a2d4a49..aae18f99b 100755 --- a/scripts/find_stray_empty_lines +++ b/scripts/find_stray_empty_lines | |||
| @@ -7,11 +7,13 @@ grep -n -B1 -r $'^\t*}' . | grep -A1 '.[ch]-[0-9]*-$' | |||
| 7 | grep -n -A1 -r $'^\t*{' . | grep -B1 '.[ch]-[0-9]*-$' | 7 | grep -n -A1 -r $'^\t*{' . | grep -B1 '.[ch]-[0-9]*-$' |
| 8 | 8 | ||
| 9 | # find trailing empty lines | 9 | # find trailing empty lines |
| 10 | find -type f | xargs tail -n1 | while read file; do | 10 | find -type f | while read file; do |
| 11 | test x"$file" = x"" && continue | 11 | test x"$file" = x"" && continue |
| 12 | read lastline | 12 | tail -n1 $file | while read lastline |
| 13 | #echo "|$file|$lastline" | 13 | do |
| 14 | if test x"$lastline" = x""; then | 14 | #echo "|$file|$lastline" |
| 15 | if test x"$lastline" = x""; then | ||
| 15 | echo "$file" | 16 | echo "$file" |
| 16 | fi | 17 | fi |
| 18 | done | ||
| 17 | done | 19 | done |
