From 17ae5549dcf74e6a99c0d5d29adc8f9cc2931c12 Mon Sep 17 00:00:00 2001
From: Flavio Cruz <flaviocruz@gmail.com>
Date: Fri, 29 Dec 2023 11:12:11 -0500
Subject: Mark msg_thread as noreturn

Message-ID: <20231229161211.312389-3-flaviocruz@gmail.com>
---
 boot/boot.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boot/boot.c b/boot/boot.c
index 0d7ae74b..d773bd1f 100644
--- a/boot/boot.c
+++ b/boot/boot.c
@@ -775,7 +775,7 @@ main (int argc, char **argv, char **envp)
     }
 }
 
-void *
+void * __attribute__ ((noreturn))
 msg_thread (void *arg)
 {
   while (1)
-- 
cgit v1.2.3