More USB debugging

[home-hw.git] / Inc / util.h

diff --git a/Inc/util.h b/Inc/util.h
index 07a677bb97cf3845b520d93b567f447c465ca2dd..388a1bd758946472fc8a1ba8701c9f03d5ec4de5 100644 (file)
--- a/Inc/util.h
+++ b/Inc/util.h
@@ -12,7 +12,7 @@ typedef int32_t s32;
 
 // debug.c
 
-#define DEBUG_SEMIHOSTING
+#undef DEBUG_SEMIHOSTING
 
 void debug_printf(const char *fmt, ...);
 void debug_puts(const char *s);