On Sun, May 24, 2020 at 05:45:34PM -0500, Matt DeVillier wrote:
Commit c61193d3 [boot: Extend `etc/show-boot-menu`...]
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.
Thanks. I committed this along with some additional fixes.