boot: Fix logic for boot menu display

Commit c61193d3 [boot: Extend `etc/show-boot-menu`...] changed the
logic surrounding the use of show_boot_menu incorrectly, leading the
boot menu to be skipped by default with no way to override. Correct
the logic error so that show_boot_menu works as documented.

Test: build/boot SeaBIOS, verify boot menu option shown by default.

Signed-off-by: Matt DeVillier <matt.devillier@gmail.com>

diff --git a/src/boot.c b/src/boot.c
index 03bd2512624f96073858edfb4e303bb9cea62a78..1f7fce1946c3d97b3ea738b2acf87c81e763ebf0 100644 (file)
--- a/src/boot.c
+++ b/src/boot.c
@@ -687,7 +687,7 @@ interactive_bootmenu(void)
     // XXX - show available drives?
     u64 show_boot_menu = romfile_loadint("etc/show-boot-menu", 1);
 
-    if (! CONFIG_BOOTMENU || show_boot_menu != 0)
+    if (! CONFIG_BOOTMENU || show_boot_menu == 0)
         return;
 
     // skip menu if only one boot device and no TPM