From 13a3d2472961902e809bb90fc5adc6b7696f7db5 Mon Sep 17 00:00:00 2001
From: Marin Ramesa <mpr@hi.t-com.hr>
Date: Mon, 16 Dec 2013 23:55:18 +0100
Subject: Mark functions that don't return with attribute noreturn

---
 kern/machine.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kern/machine.c')

diff --git a/kern/machine.c b/kern/machine.c
index 5d1ea34..d5944ce 100644
--- a/kern/machine.c
+++ b/kern/machine.c
@@ -390,7 +390,7 @@ void action_thread_continue()
 	}
 }
 
-void action_thread()
+void __attribute__((noreturn)) action_thread()
 {
 	action_thread_continue();
 	/*NOTREACHED*/
-- 
cgit v1.2.3