diff options
Diffstat (limited to 'kern/debug.h')
| -rw-r--r-- | kern/debug.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/debug.h b/kern/debug.h index 28e7b73f..62be7fcf 100644 --- a/kern/debug.h +++ b/kern/debug.h @@ -58,6 +58,6 @@ #endif /* NDEBUG */ extern void panic_init(); -extern void panic (const char *s, ...); +extern void panic (const char *s, ...) __attribute__ ((noreturn)); #endif /* _mach_debug__debug_ */ |