diff options
Diffstat (limited to 'src/console/die.c')
| -rw-r--r-- | src/console/die.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/console/die.c b/src/console/die.c index 5e12a6c82f..8c97f89b27 100644 --- a/src/console/die.c +++ b/src/console/die.c @@ -23,8 +23,14 @@ #include <arch/hlt.h> #include <console/console.h> +#ifndef __ROMCC__ +#define NORETURN __attribute__((noreturn)) +#else +#define NORETURN +#endif + /* Report a fatal error */ -void __attribute__((noreturn)) die(const char *msg) +void NORETURN die(const char *msg) { print_emerg(msg); do { |