1 files changed, 9 insertions, 0 deletions
diff --git a/unix/main.c b/unix/main.c
index 8e6a76bbad..9d07b842b1 100644
--- a/unix/main.c
+++ b/unix/main.c
@@ -2,6 +2,7 @@
 #include <stdio.h>
 #include <string.h>
 #include <stdlib.h>
+#include <stdarg.h>
 
 #include "nlr.h"
 #include "misc.h"
@@ -374,3 +375,11 @@ uint mp_import_stat(const char *path) {
     }
     return MP_IMPORT_STAT_NO_EXIST;
 }
+
+int DEBUG_printf(const char *fmt, ...) {
+    va_list ap;
+    va_start(ap, fmt);
+    int ret = vfprintf(stderr, fmt, ap);
+    va_end(ap);
+    return ret;
+}