From 9d72e67b79a454dcd6847bcd80c9929e0ec9054d Mon Sep 17 00:00:00 2001 From: Mike Frysinger Date: Sun, 26 Feb 2012 17:46:30 -0500 Subject: [PATCH] sandbox: mark os_exit as noreturn Signed-off-by: Mike Frysinger --- include/os.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.25.1