Signed-off-by: Paul Menzel <pmen...@molgen.mpg.de>
---
src/boot.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/boot.c b/src/boot.c
index 595cd77..8b33070 100644
--- a/src/boot.c
+++ b/src/boot.c
@@ -673,6 +673,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()) {
+ dprint("Only one boot device present. Skip boot menu.\n");
printf("\n");
return;
}
--
2.26.2
_______________________________________________
SeaBIOS mailing list -- seabios@seabios.org
To unsubscribe send an email to seabios-le...@seabios.org
