From: Mike Frysinger <vapier@gentoo.org>
Date: Sun, 26 Feb 2012 22:46:30 +0000 (-0500)
Subject: sandbox: mark os_exit as noreturn
X-Git-Url: http://git.dujemihanovic.xyz/?a=commitdiff_plain;h=9d72e67b79a454dcd6847bcd80c9929e0ec9054d;p=u-boot.git

sandbox: mark os_exit as noreturn

Signed-off-by: Mike Frysinger <vapier@gentoo.org>
---

diff --git a/include/os.h b/include/os.h
index 45729c1e44..699682a408 100644
--- a/include/os.h
+++ b/include/os.h
@@ -95,7 +95,7 @@ int os_close(int fd);
  *
  * @param exit_code	exit code for U-Boot
  */
-void os_exit(int exit_code);
+void os_exit(int exit_code) __attribute__((noreturn));
 
 /**
  * Put tty into raw mode to mimic serial console better