diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | kern/debug.c | 6 |
2 files changed, 8 insertions, 3 deletions
@@ -1,3 +1,8 @@ +2007-12-30 Samuel thibault <samuel.thibault@ens-lyon.org> + + * kern/debug.c (panic) [MACH_KDB]: Don't wait before running the + debugger. + 2007-12-11 Thomas Schwinge <tschwinge@gnu.org> * linux/dev/include/linux/nfs.h: Remove unused file. diff --git a/kern/debug.c b/kern/debug.c index d07f1ed..e81c6a2 100644 --- a/kern/debug.c +++ b/kern/debug.c @@ -155,6 +155,9 @@ panic(const char *s, ...) va_end(listp); printf("\n"); +#if MACH_KDB + Debugger("panic"); +#else /* Give the user time to see the message */ { int i = 1000; /* seconds */ @@ -162,9 +165,6 @@ panic(const char *s, ...) delay (1000000); /* microseconds */ } -#if MACH_KDB - Debugger("panic"); -#else halt_all_cpus (1); #endif } |