From 4dc587e9bd3e5e1a44df36e29c22645a074ae68f Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 8 Dec 2013 23:20:19 +0900
Subject: Always make Assert trigger debugger

* kern/debug.c (Assert): Always call Debugger, even if db_breakpoints_insert
is not set.
---
 kern/debug.c | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'kern/debug.c')

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");
 }
 
-- 
cgit v1.2.3