aboutsummaryrefslogtreecommitdiff
path: root/scripts/Makefile.vmlinux
diff options
context:
space:
mode:
authorGabriele Monaco <gmonaco@redhat.com>2026-05-14 17:20:47 +0200
committerGabriele Monaco <gmonaco@redhat.com>2026-06-04 16:44:25 +0200
commit5f845ad706c0b394ae274e9a930044f78bef782e (patch)
tree9a575ad27133a41317894e17a25ea0b4483f6a2f /scripts/Makefile.vmlinux
parent85339442de941e4d7ff5d53f51ae1413905e45ec (diff)
verification/rvgen: Fix options shared among commands
After rvgen was refactored to use subparsers, the common options (-a and -D) were left in the main parser. This meant that they needed to be called /before/ the subcommand and using them without subcommand was allowed. This is not the original intent. rvgen -D "some description" container -n name Define the options as parent in the subparsers to allow them to be used from both subcommands together with other options. rvgen container -n name -D "some description" Fixes: 5270a0e3041c ("verification/dot2k: Replace is_container() hack with subparsers") Reviewed-by: Nam Cao <namcao@linutronix.de> Link: https://lore.kernel.org/r/20260514152055.229162-7-gmonaco@redhat.com Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
Diffstat (limited to 'scripts/Makefile.vmlinux')
0 files changed, 0 insertions, 0 deletions