diff --git a/include/os.h b/include/os.h
index fbe1592a1..d4eed220f 100644
--- a/include/os.h
+++ b/include/os.h
@@ -510,6 +510,12 @@ __attribute((noreturn))
 #endif
 ;
 
+#ifdef DEBUG
+#define DebugF ErrorF
+#else
+#define DebugF(x, ...) /* */
+#endif
+
 extern void VErrorF(const char *f, va_list args);
 extern void ErrorF(const char *f, ...) _printf_attribute(1,2);
 extern void Error(char *str);