diff options
| author | Jakub Kicinski <kuba@kernel.org> | 2023-06-10 00:43:36 +0300 |
|---|---|---|
| committer | David S. Miller <davem@davemloft.net> | 2023-06-12 13:01:02 +0300 |
| commit | 33eedb0071c84ee47ab329a90e8e7b0653bcba33 (patch) | |
| tree | 67a32597f7d53cf52380875f5718ec63abdf6612 /tools/net/ynl/ynl-gen-c.py | |
| parent | 008bcd6835a2f00a46bc91cad32de50d57d1b196 (diff) | |
| download | linux-33eedb0071c84ee47ab329a90e8e7b0653bcba33.tar.xz | |
tools: ynl-gen: record extra args for regen
ynl-regen needs to know the arguments used to generate a file.
Record excluded ops and, while at it, user headers.
Signed-off-by: Jakub Kicinski <kuba@kernel.org>
Signed-off-by: David S. Miller <davem@davemloft.net>
Diffstat (limited to 'tools/net/ynl/ynl-gen-c.py')
| -rwxr-xr-x | tools/net/ynl/ynl-gen-c.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/net/ynl/ynl-gen-c.py b/tools/net/ynl/ynl-gen-c.py index a55c4cec2529..89d9471e9c2b 100755 --- a/tools/net/ynl/ynl-gen-c.py +++ b/tools/net/ynl/ynl-gen-c.py @@ -2281,6 +2281,11 @@ def main(): cw.p("/* Do not edit directly, auto-generated from: */") cw.p(f"/*\t{spec_kernel} */") cw.p(f"/* YNL-GEN {args.mode} {'header' if args.header else 'source'} */") + if args.exclude_op or args.user_header: + line = '' + line += ' --user-header '.join([''] + args.user_header) + line += ' --exclude-op '.join([''] + args.exclude_op) + cw.p(f'/* YNL-ARG{line} */') cw.nl() if args.mode == 'uapi': |