diff options
| author | Heinrich Schuchardt <[email protected]> | 2022-11-10 12:19:30 +0100 |
|---|---|---|
| committer | Heinrich Schuchardt <[email protected]> | 2022-11-16 08:34:06 +0100 |
| commit | 3d595ac5f5cbcf4db793caee035ab28304f41457 (patch) | |
| tree | a06b2864f7b9bd6b4be555deba8f600c9163a42e /doc/develop | |
| parent | 00ec77f2b030aa9982363b0d6a6cc6b56a64a0af (diff) | |
cmd: remove superfluous if in eficonfig_edit_boot_option
Goto for an immediately succeeding label is superfluous.
Fixes: 87d791423ac6 ("eficonfig: menu-driven addition of UEFI boot option")
Addresses-Coverity: 376202 ("Identical code for different branches")
Signed-off-by: Heinrich Schuchardt <[email protected]>
Reviewed-by: Ilias Apalodimas <[email protected]>
Diffstat (limited to 'doc/develop')
0 files changed, 0 insertions, 0 deletions