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/user/lib/include/__errno.h.awk | |
| parent | 8050069c57b729c18c19b1a03ab6e4bf63b4735e (diff) | |
reorganization: first steps
Diffstat (limited to 'src/user/lib/include/__errno.h.awk')
| -rw-r--r-- | src/user/lib/include/__errno.h.awk | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/src/user/lib/include/__errno.h.awk b/src/user/lib/include/__errno.h.awk deleted file mode 100644 index 6232835..0000000 --- a/src/user/lib/include/__errno.h.awk +++ /dev/null @@ -1,20 +0,0 @@ -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; -} |