diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/find-blanks.awk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/find-blanks.awk b/scripts/find-blanks.awk new file mode 100644 index 00000000..1d00609f --- /dev/null +++ b/scripts/find-blanks.awk @@ -0,0 +1,6 @@ +BEGIN { last_char = "x"; } +/^$/ { if (last_char == "{") print(FILENAME, FNR); last_char = " "; next; } +/^\s*{$/ { last_char = "{"; next; } +/ {$/ { last_char = "{"; next; } +/^\s*}$/ { if (last_char == " ") print(FILENAME, FNR); last_char = "}"; next; } + { last_char = "x"; } |