diff options
| author | Paul Menzel <pmenzel@molgen.mpg.de> | 2020-05-19 23:39:43 +0200 |
|---|---|---|
| committer | Kevin O'Connor <kevin@koconnor.net> | 2020-05-21 13:38:27 -0400 |
| commit | 232b1c15c8c2144ca9b51aed639c1460e6083d74 (patch) | |
| tree | 514a9e53fd9e483f9c16e16c2a1f5fa422b89eed /Makefile | |
| parent | c61193d3ec2e29c0764ce93ad17cea259c57faad (diff) | |
| download | seabios-232b1c15c8c2144ca9b51aed639c1460e6083d74.tar.gz | |
boot: Log, if boot menu is skipped
Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions