diff options
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; -} |