diff options
Diffstat (limited to 'src/mkerrcodes.awk')
| -rw-r--r-- | src/mkerrcodes.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mkerrcodes.awk b/src/mkerrcodes.awk index c101496..55eac34 100644 --- a/src/mkerrcodes.awk +++ b/src/mkerrcodes.awk @@ -63,7 +63,7 @@ BEGIN { /^#/ { next; } header { - if ($0 ~ /^[0-9]+/) + if ($0 ~ /^[ \t]*[0-9]+/) { header = 0; |