increase dbg_printf buffer in debug/debugger.c

diff --git a/ir/debug/debugger.c b/ir/debug/debugger.c
index 9a10337..ae9afa3 100644 (file)
--- a/ir/debug/debugger.c
+++ b/ir/debug/debugger.c
@@ -215,7 +215,7 @@ const char *firm_debug_text(void)
  */
 static void dbg_printf(const char *fmt, ...)
 {
-       char buf[1024];
+       static char buf[2048];
 
        va_list args;
        va_start(args, fmt);