From c65e499f3b65f210f95be77477c39640df1da3dc Mon Sep 17 00:00:00 2001
From: rsc <rsc>
Date: Wed, 8 Aug 2007 10:27:04 +0000
Subject: [PATCH] help gcc

---
 defs.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/defs.h b/defs.h
index ef28a01..7de2fe1 100644
--- 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