added stuff ww

[16.git] / src / lib / 16_dbg.h

diff --git a/src/lib/16_dbg.h b/src/lib/16_dbg.h
old mode 100644 (file)
new mode 100755 (executable)
index e408ac0..9aaf964
--- a/src/lib/16_dbg.h
+++ b/src/lib/16_dbg.h
@@ -5,9 +5,13 @@
 # ifdef DEBUGSERIAL
 #  include <hw/8250/8250.h>
 
+void _DEBUGF(const char *fmt,...);
 void _DEBUG(const char *msg);
 int _DEBUG_INIT();
 # else
+static inline void _DEBUGF(const char *fmt,...) {
+       // NOTHING
+}
 static inline void _DEBUG(const char *msg) {
        // NOTHING
 }