On Sun, May 24, 2020 at 05:45:34PM -0500, Matt DeVillier wrote:
> 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.

Thanks.  I committed this along with some additional fixes.

SeaBIOS mailing list -- seabios@seabios.org
To unsubscribe send an email to seabios-le...@seabios.org

Reply via email to