blob: 749cd8ef5ff12d4bff24d4bbc2d1ef631d0d0922 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#!/usr/bin/env python
def print_errnos(txtlists: list[str]) -> None:
print(
f"/* Generated by `./9p/linux-errno.h.gen {' '.join(txtlists)}`. DO NOT EDIT! */"
)
errnos: dict[str, int] = {}
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 = line.split(maxsplit=1)
num = int(_num)
name = name.strip()
errnos[name] = int(num)
namelen = max(len(name) for name in errnos.keys())
print()
print("#ifndef _9P_LINUX_ERRNO_H_")
print("#define _9P_LINUX_ERRNO_H_")
print()
for name in errnos:
print(f"#define LINUX_{name.ljust(namelen)} {errnos[name]}")
print()
print("#endif /* _9P_LINUX_ERRNO_H_ */")
if __name__ == "__main__":
import sys
print_errnos(sys.argv[1:])
|
