help gcc

2007-08-08 10:27:04 +00:00 · 2007-08-08 10:27:04 +00:00 · c65e499f3b
commit c65e499f3b
parent 95c07f8267
1 changed files with 1 additions and 1 deletions
--- 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