unix: Use printf() implementation in terms of mp_printf().

In other words, unix port now uses overriden printf(), instead of using
libc's. This should remove almost all dependency on libc stdio (which
is bloated).

1 files changed, 0 insertions, 8 deletions

diff --git a/unix/main.c b/unix/main.c
index 26618af3f..741568f75 100644
--- a/unix/main.c
+++ b/unix/main.c
@@ -574,14 +574,6 @@ 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 = mp_vprintf(&mp_stderr_print, fmt, ap);
-    va_end(ap);
-    return ret;
-}
-
 void nlr_jump_fail(void *val) {
     printf("FATAL: uncaught NLR %p\n", val);
     exit(1);