mkerrcodes.patch
src/libprelude-error/mkerrcodes-inl.awk 2007-08-24 14:52:49.000000000 +0200 | ||
---|---|---|
54 | 54 |
# as is trailing whitespace. |
55 | 55 | |
56 | 56 |
BEGIN { |
57 |
FS="[ \t]+PRELUDE_ERROR_"; |
|
58 | 57 |
print "/* Output of mkerrcodes.awk. DO NOT EDIT. */"; |
59 | 58 |
print ""; |
60 | 59 |
header = 1; |
... | ... | |
85 | 84 |
if (/^$/) |
86 | 85 |
next; |
87 | 86 | |
88 |
print " { " $1 ", \"PRELUDE_ERROR_" $2 "\" },";
|
|
87 |
print " { " $1 ", \"" $2 "\" },";
|
|
89 | 88 |
} |
90 | 89 | |
91 | 90 |
END { |