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. -Kevin _______________________________________________ SeaBIOS mailing list -- seabios@seabios.org To unsubscribe send an email to seabios-le...@seabios.org