[PATCH 3/3] kern/debug.c: fix return of noreturn function

[Marin Ramesa]

Assertion failure message even if no breakpoints inserted.

* kern/debug.c [MACH_KDB] (Assert): Add call to Debugger().

---
 kern/debug.c | 6 ++++++-
 1 file changed, 5 insertions(+), 1 deletions(-)

diff --git a/kern/debug.c b/kern/debug.c
index 33e64f3..6d32e19 100644
--- a/kern/debug.c
+++ b/kern/debug.c
@@ -70,7 +70,11 @@ Assert(char *exp, char *file, int line)
 #if    MACH_KDB
        if (db_breakpoints_inserted)
 #endif
-       Debugger("assertion failure");
+               Debugger("assertion failure");
+#if    MACH_KDB
+       else
+               Debugger("assertion failure, no breakpoints inserted");
+#endif
 }
 
 void SoftDebugger(message)
-- 
1.8.1.4