diff options
author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-09-26 19:36:54 -0600 |
---|---|---|
committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-09-26 19:36:54 -0600 |
commit | 71e1a86a033c380f85dd300d788af63bfef25bab (patch) | |
tree | 07aa53d5a933ba51535a78972edbfe0cd95a31c5 /9p/linux-errno.h.gen | |
parent | f5da707e77ee954b12f3c961012e4f40fa4e1bd3 (diff) |
wip reorg
Diffstat (limited to '9p/linux-errno.h.gen')
-rwxr-xr-x | 9p/linux-errno.h.gen | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/9p/linux-errno.h.gen b/9p/linux-errno.h.gen deleted file mode 100755 index b896384..0000000 --- a/9p/linux-errno.h.gen +++ /dev/null @@ -1,34 +0,0 @@ -#!/usr/bin/env python - - -def print_errnos(txtlists: list[str]) -> None: - print( - f"/* 9p/linux-errno.h - Generated by `./9p/linux-errno.h.gen {' '.join(txtlists)}`. DO NOT EDIT! */" - ) - errnos: dict[str, tuple[int, str]] = {} - for txtlist in sys.argv[1:]: - with open(txtlist, "r") as fh: - for line in fh: - if line.startswith("#"): - print(f"/* {line[1:].strip()} */") - continue - _num, name, desc = line.split(maxsplit=2) - num = int(_num) - desc = desc.strip() - errnos[name] = (num, desc) - print() - print("#ifndef _9P_LINUX_ERRNO_H_") - print("#define _9P_LINUX_ERRNO_H_") - print() - namelen = max(len(name) for name in errnos.keys()) - numlen = max(len(str(num)) for (num, desc) in errnos.values()) - for name in errnos: - print(f"#define LINUX_{name.ljust(namelen)} {str(errnos[name][0]).rjust(numlen)} /* {errnos[name][1]} */") - print() - print("#endif /* _9P_LINUX_ERRNO_H_ */") - - -if __name__ == "__main__": - import sys - - print_errnos(sys.argv[1:]) |