Make read_memory debug output use ccdbg_debug.

This makes it default to not being presented, which makes s51 much happier

Signed-off-by: Keith Packard <keithp@keithp.com>

1 files changed, 6 insertions, 0 deletions

diff --git a/lib/ccdbg-debug.c b/lib/ccdbg-debug.c
index 2e67bc8d..8f6f9e11 100644
--- 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);
+}