summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMike Frysinger <vapier@gentoo.org>2012-02-26 17:46:30 -0500
committerMike Frysinger <vapier@gentoo.org>2012-03-12 11:06:48 -0400
commit9d72e67b79a454dcd6847bcd80c9929e0ec9054d (patch)
treef98c8b75e74103c53459c49a42e825e56e24d5e0
parent70db4212fcdb080444a23dccaf673b68a3ffc1fa (diff)
downloadu-boot-imx-9d72e67b79a454dcd6847bcd80c9929e0ec9054d.zip
u-boot-imx-9d72e67b79a454dcd6847bcd80c9929e0ec9054d.tar.gz
u-boot-imx-9d72e67b79a454dcd6847bcd80c9929e0ec9054d.tar.bz2
sandbox: mark os_exit as noreturn
Signed-off-by: Mike Frysinger <vapier@gentoo.org>
-rw-r--r--include/os.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/include/os.h b/include/os.h
index 45729c1..699682a 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