diff options
| author | rsc <rsc> | 2007-08-08 10:27:04 +0000 |
|---|---|---|
| committer | rsc <rsc> | 2007-08-08 10:27:04 +0000 |
| commit | c65e499f3b65f210f95be77477c39640df1da3dc (patch) | |
| tree | 89f042bb8cbdfa1f03c196cf295fa41e27912dc0 | |
| parent | 95c07f82670df0540fdb8fbb61f8d3fc335e6880 (diff) | |
| download | xv6-labs-c65e499f3b65f210f95be77477c39640df1da3dc.tar.gz xv6-labs-c65e499f3b65f210f95be77477c39640df1da3dc.tar.bz2 xv6-labs-c65e499f3b65f210f95be77477c39640df1da3dc.zip | |
help gcc
| -rw-r--r-- | defs.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |