bios/main: Wrap CONFIG_NO_BOOT around boot_sequence()

This eliminates a "defined but unused" warning on the
`boot_sequence()` function when `main.c` is compiled
with `#define CONFIG_NO_BOOT`.
This commit is contained in:
Gabriel Somlo 2022-06-16 08:15:10 -04:00
parent b6f4302e8e
commit f9f3557bca
1 changed files with 2 additions and 0 deletions

View File

@ -49,6 +49,7 @@
#include <liblitesdcard/sdcard.h>
#include <liblitesata/sata.h>
#ifndef CONFIG_BIOS_NO_BOOT
static void boot_sequence(void)
{
#ifdef CSR_UART_BASE
@ -75,6 +76,7 @@ static void boot_sequence(void)
#endif
printf("No boot medium found\n");
}
#endif
__attribute__((__used__)) int main(int i, char **c)
{