summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-08 23:20:19 +0900
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-08 23:20:19 +0900
commit4dc587e9bd3e5e1a44df36e29c22645a074ae68f (patch)
tree9f60577f5389f016b02059f2d1c7848ec4d95e8e
parentbe841794c557bbddea42164dbd3bb54b7506e7c5 (diff)
Always make Assert trigger debugger
* kern/debug.c (Assert): Always call Debugger, even if db_breakpoints_insert is not set.
-rw-r--r--kern/debug.c7
1 files changed, 0 insertions, 7 deletions
diff --git a/kern/debug.c b/kern/debug.c
index e9427a3..2530fa6 100644
--- a/kern/debug.c
+++ b/kern/debug.c
@@ -40,10 +40,6 @@
#include <device/cons.h>
-#if MACH_KDB
-extern int db_breakpoints_inserted;
-#endif
-
#if NCPUS>1
simple_lock_data_t Assert_print_lock; /* uninited, we take our chances */
#endif
@@ -67,9 +63,6 @@ Assert(char *exp, char *file, int line)
exp, file, line);
#endif
-#if MACH_KDB
- if (db_breakpoints_inserted)
-#endif
Debugger("assertion failure");
}