diff options
Diffstat (limited to 'scripts/gen-as-const.awk')
| -rw-r--r-- | scripts/gen-as-const.awk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/gen-as-const.awk b/scripts/gen-as-const.awk index b29656ee71..a315066422 100644 --- a/scripts/gen-as-const.awk +++ b/scripts/gen-as-const.awk @@ -17,6 +17,9 @@ NF >= 1 && !started { started = 1; } +# Separator. +$1 == "--" { next } + NF == 1 { sub(/^.*$/, "& &"); } NF > 1 { |