diff options
| author | Heinrich Schuchardt <heinrich.schuchardt@canonical.com> | 2022-11-10 12:19:30 +0100 |
|---|---|---|
| committer | Heinrich Schuchardt <heinrich.schuchardt@canonical.com> | 2022-11-16 08:34:06 +0100 |
| commit | 3d595ac5f5cbcf4db793caee035ab28304f41457 (patch) | |
| tree | a06b2864f7b9bd6b4be555deba8f600c9163a42e /drivers/timer/xilinx-timer.c | |
| 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 <heinrich.schuchardt@canonical.com>
Reviewed-by: Ilias Apalodimas <ilias.apalodimas@linaro.org>
Diffstat (limited to 'drivers/timer/xilinx-timer.c')
0 files changed, 0 insertions, 0 deletions