Make read_memory debug output use ccdbg_debug.

[fw/altos] / lib / ccdbg-debug.c

diff --git a/lib/ccdbg-debug.c b/lib/ccdbg-debug.c
index 2e67bc8d9d00181ff0ee3e2f7ddebb485c6098dd..8f6f9e11a800c20bec8d764d0b87678fc6c19d7d 100644 (file)
--- a/lib/ccdbg-debug.c
+++ b/lib/ccdbg-debug.c
@@ -45,3 +45,9 @@ ccdbg_debug(int level, char *format, ...)
                va_end(ap);
        }
 }
+
+void
+ccdbg_flush(void)
+{
+       fflush(stdout);
+}