firm_debug_break() is now public
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 3 Feb 2006 16:51:37 +0000 (16:51 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 3 Feb 2006 16:51:37 +0000 (16:51 +0000)
[r7317]

ir/debug/debugger.c
ir/debug/debugger.h

index ac420fc..fb81809 100644 (file)
 #include "debug.h"
 
 #ifdef _WIN32
-/** Break into the debugger. The Win32 way. */
-static void firm_debug_break(void) {
+/* Break into the debugger. The Win32 way. */
+void firm_debug_break(void) {
   DebugBreak();
 }
 #elif defined(__GNUC__) && (defined(__i386__) || defined(__x86_64))
-/** Break into the debugger. The ia32/x86_64 way under GCC. */
-static void firm_debug_break(void) {
+/* Break into the debugger. The ia32/x86_64 way under GCC. */
+void firm_debug_break(void) {
   __asm__ __volatile__("int3");
 }
 #else
-/** Break into the debugger. Poor Unix way. */
-static void firm_debug_break(void) {
+/* Break into the debugger. Poor Unix way. */
+void firm_debug_break(void) {
   raise(SIGINT);
 }
 #endif /* _WIN32 */
index f199e47..55ceb2e 100644 (file)
@@ -12,6 +12,9 @@
 #ifndef __DEBUGGER_H__
 #define __DEBUGGER_H__
 
+/** Break into the debugger. */
+void firm_debug_break(void);
+
 /**
  * High level function to use from debugger interface
  *