| commit | bc036d37d92c3fbb373a9c49baaaa56a67944d8d | [log] [tgz] |
|---|---|---|
| author | Mike Frysinger <vapier@gentoo.org> | Sun Feb 26 17:46:30 2012 -0500 |
| committer | Mike Frysinger <vapier@gentoo.org> | Mon Mar 12 11:06:48 2012 -0400 |
| tree | f98c8b75e74103c53459c49a42e825e56e24d5e0 | |
| parent | 8a3e035c4a29ece6288974630bd4579cacd20144 [diff] [blame] |
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 45729c1..699682a 100644 --- a/include/os.h +++ b/include/os.h
@@ -95,7 +95,7 @@ * * @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