sandbox: mark os_exit as noreturn

Signed-off-by: Mike Frysinger <vapier@gentoo.org>
2012-02-26 17:46:30 -05:00 · 2012-02-26 17:46:30 -05:00 · 9d72e67b79
parent 70db4212fc
commit 9d72e67b79
1 changed files with 1 additions and 1 deletions
--- 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