help gcc

diff --git a/defs.h b/defs.h
index ef28a01ecd99de0ec7ea7506104512a19439bf0f..7de2fe1c59072d8f77dc4ea8405e601c253e2872 100644 (file)
--- a/defs.h
+++ b/defs.h
@@ -6,7 +6,7 @@ void kinit(void);
 // console.c
 void console_init(void);
 void cprintf(char*, ...);
-void panic(char*);
+void panic(char*) __attribute__((noreturn));
 void kbd_intr(void);
 
 // proc.c