diff options
-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 |