diff options
| author | Gabriele Monaco <gmonaco@redhat.com> | 2024-12-27 15:47:48 +0100 |
|---|---|---|
| committer | Steven Rostedt (Google) <rostedt@goodmis.org> | 2024-12-27 14:19:34 -0500 |
| commit | 64b3e5f0d45329bc593e13b64dcdcf836da006cd (patch) | |
| tree | 3de09f0e514d67d5c4967538d7ea38b7eba58456 /scripts/gdb/linux/utils.py | |
| parent | 91f3407e13b89b7391ebc5b6143fd22edd901041 (diff) | |
verification/dot2k: Add support for name and description options
The dot2k command includes options to set a model name with -n and a
description with -D, however those are not used in practice.
This patch allows to specify a custom model name (by default the name of
the dot file without extension) and a description which overrides the
one in the C file.
Cc: Juri Lelli <juri.lelli@redhat.com>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: John Kacur <jkacur@redhat.com>
Link: https://lore.kernel.org/20241227144752.362911-5-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
Diffstat (limited to 'scripts/gdb/linux/utils.py')
0 files changed, 0 insertions, 0 deletions