diff options
| author | dzwdz | 2023-08-14 18:51:07 +0200 |
|---|---|---|
| committer | dzwdz | 2023-08-14 18:51:07 +0200 |
| commit | 642b5fb0007b64c77d186fcb018d571152ee1d47 (patch) | |
| tree | 1c466461f3602d306be309a053edae558ef2568e /src/libc/include/__errno.h.awk | |
| parent | 8050069c57b729c18c19b1a03ab6e4bf63b4735e (diff) | |
reorganization: first steps
Diffstat (limited to 'src/libc/include/__errno.h.awk')
| -rw-r--r-- | src/libc/include/__errno.h.awk | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/libc/include/__errno.h.awk b/src/libc/include/__errno.h.awk new file mode 100644 index 0000000..6232835 --- /dev/null +++ b/src/libc/include/__errno.h.awk @@ -0,0 +1,20 @@ +BEGIN { + print "/* generated by awk */"; + print "#ifdef E"; +} + +END { + print "#endif"; +} + +/#define/ { + comment = $2; + num = $3; + # extract the comment, if present + if (index($0, "/*")) { + sub(/[^/]*\/\*/, ""); + sub(/ *\*\//, ""); + comment = comment $0; + } + printf "E(%3s, \"%s\")\n", num, comment; +} |