diff options
| author | Matt DeVillier <matt.devillier@gmail.com> | 2020-05-24 17:45:34 -0500 |
|---|---|---|
| committer | Kevin O'Connor <kevin@koconnor.net> | 2020-05-24 21:50:09 -0400 |
| commit | 926fd4e05e667e7835073ee7c8612c11e23dc57f (patch) | |
| tree | c5af202bff4d698d2e9a827b374a301ac3feef00 /vgasrc/vgafonts.c | |
| parent | 7e9db04923854b7f4edca33948f55abee22907b9 (diff) | |
| download | seabios-926fd4e05e667e7835073ee7c8612c11e23dc57f.tar.gz | |
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>
Diffstat (limited to 'vgasrc/vgafonts.c')
0 files changed, 0 insertions, 0 deletions