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 {
|