diff options
| author | Gabriele Monaco <gmonaco@redhat.com> | 2026-05-14 17:20:47 +0200 |
|---|---|---|
| committer | Gabriele Monaco <gmonaco@redhat.com> | 2026-06-04 16:44:25 +0200 |
| commit | 5f845ad706c0b394ae274e9a930044f78bef782e (patch) | |
| tree | 9a575ad27133a41317894e17a25ea0b4483f6a2f /scripts/Makefile.vmlinux | |
| parent | 85339442de941e4d7ff5d53f51ae1413905e45ec (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
