From: Paul Menzel <pmenzel@molgen.mpg.de>
Date: Tue, 19 May 2020 21:39:43 +0000 (+0200)
Subject: boot: Log, if boot menu is skipped
X-Git-Tag: rel-1.14.0~13
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=232b1c15c8c2144ca9b51aed639c1460e6083d74;p=seabios.git

boot: Log, if boot menu is skipped

Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>
---

diff --git a/src/boot.c b/src/boot.c
index a395347..03bd251 100644
--- a/src/boot.c
+++ b/src/boot.c
@@ -692,6 +692,7 @@ interactive_bootmenu(void)
 
     // skip menu if only one boot device and no TPM
     if ((show_boot_menu == 2) && (NULL == BootList.first->next) && !tpm_can_show_menu()) {
+       dprintf(1, "Only one boot device present. Skip boot menu.\n");
        printf("\n");
        return;
     }