]> git.ipfire.org Git - thirdparty/kernel/linux.git/commit
projects / thirdparty / kernel / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f57f9a) | patch
rv/rvgen: remove unused __get_main_name method
authorWander Lairson Costa <wander@redhat.com>
Mon, 23 Feb 2026 16:17:56 +0000 (13:17 -0300)
committerGabriele Monaco <gmonaco@redhat.com>
Wed, 1 Apr 2026 08:16:19 +0000 (10:16 +0200)
commit1b615bb0f0bf0290302ad8d37ecf7e1e0102e5b4
treea625660dfed61cd944f41216a6a3480c9fe4b85ftree | snapshot
parent0f57f9ad9fbef9a51438ca4153a4059d8169fc1ecommit | diff
rv/rvgen: remove unused __get_main_name method

The __get_main_name() method in the generator module is never called
from anywhere in the codebase. Remove this dead code to improve
maintainability.

Signed-off-by: Wander Lairson Costa <wander@redhat.com>
Reviewed-by: Gabriele Monaco <gmonaco@redhat.com>
Link: https://lore.kernel.org/r/20260223162407.147003-14-wander@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
tools/verification/rvgen/rvgen/generator.py diff | blob | blame | history
A mirror of Linus' kernel repository