[SeaBIOS] Re: [PATCH 2/3] boot: Log, if boot menu is skipped

[Kevin O'Connor]

On Wed, Apr 22, 2020 at 09:19:37PM +0200, Paul Menzel wrote:
> Signed-off-by: Paul Menzel
>
> 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");

In file included from out/ccode32flat.o.tmp.c:50:
./src/boot.c: In function 'interactive_bootmenu':
./src/boot.c:695:8: warning: implicit declaration of function 'dprint'; did you mean 'dprintf'? [-Wimplicit-function-declaration]
  695 |        dprint("Only one boot device present. Skip boot menu.\n");
      |        ^~~~~~
      |        dprintf

-Kevin