diff mbox

[U-Boot] sandbox: mark os_exit as noreturn

Message ID 1330296393-21015-1-git-send-email-vapier@gentoo.org
State Accepted
Commit 9d72e67b79a454dcd6847bcd80c9929e0ec9054d
Delegated to: Mike Frysinger
Headers show

Commit Message

Mike Frysinger Feb. 26, 2012, 10:46 p.m. UTC 
Signed-off-by: Mike Frysinger <vapier@gentoo.org>
---
 include/os.h |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
diff mbox

Patch

diff --git a/include/os.h b/include/os.h
index aea4503..35ef9b0 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