diff options
Diffstat (limited to 'src/include/console')
| -rw-r--r-- | src/include/console/console.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include/console/console.h b/src/include/console/console.h index 3e1607b2a7..cea174c34e 100644 --- a/src/include/console/console.h +++ b/src/include/console/console.h @@ -10,7 +10,7 @@ void console_tx_flush(void); unsigned char console_rx_byte(void); int console_tst_byte(void); void post_code(uint8_t value); -void die(const char *msg); +void __attribute__ ((noreturn)) die(const char *msg); struct console_driver { void (*init)(void); |