From f9f3557bca6d8518f33845725ba959c1157884e4 Mon Sep 17 00:00:00 2001
From: Gabriel Somlo <gsomlo@gmail.com>
Date: Thu, 16 Jun 2022 08:15:10 -0400
Subject: [PATCH] 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`.
---
 litex/soc/software/bios/main.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/litex/soc/software/bios/main.c b/litex/soc/software/bios/main.c
index 26f70fb69..d92694b9b 100644
--- a/litex/soc/software/bios/main.c
+++ b/litex/soc/software/bios/main.c
@@ -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)
 {