From: rsc <rsc>
Date: Wed, 8 Aug 2007 10:27:04 +0000 (+0000)
Subject: help gcc
X-Git-Url: https://git.devinivas.org/?a=commitdiff_plain;h=c65e499f3b65f210f95be77477c39640df1da3dc;p=cs3210-lab1.git

help gcc
---

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