diff --git a/core/panic.c b/core/panic.c index cc6d7f23e1..007f4c00db 100644 --- a/core/panic.c +++ b/core/panic.c @@ -40,6 +40,8 @@ static int crashed = 0; /* WARNING: this function NEVER returns! */ NORETURN void core_panic(int crash_code, const char *message) { + (void) crash_code; + if (crashed == 0) { /* print panic message to console (if possible) */ crashed = 1;