timer: Convert to new-style CONFIG_XYZ parameters

[bertos.git] / bertos / drv / kdebug.c

diff --git a/bertos/drv/kdebug.c b/bertos/drv/kdebug.c
index 37ae5ff98630591bdf64f7971a9c487a2efbc68b..1f8725502a9a3d4f601085ab8a0f1dbf992afc02 100644 (file)
--- a/bertos/drv/kdebug.c
+++ b/bertos/drv/kdebug.c
@@ -60,7 +60,7 @@
 #if OS_HOSTED
        #include <stdio.h>
        #define KDBG_WAIT_READY()      do { /*nop*/ } while(0)
-       #define KDBG_WRITE_CHAR(c)     putc((c), stderr)
+       #define KDBG_WRITE_CHAR(c)     do { char __c = (c); write(2, &__c, sizeof(__c)); } while(0)
        #define KDBG_MASK_IRQ(old)     do { (void)(old); } while(0)
        #define KDBG_RESTORE_IRQ(old)  do { /*nop*/ } while(0)
        typedef char kdbg_irqsave_t; /* unused */