diff options
author | Damien George <damien.p.george@gmail.com> | 2015-04-11 12:15:47 +0100 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2015-04-16 14:30:16 +0000 |
commit | e72cda99fd5fc9e7c6476eb8574c4401d3ef9560 (patch) | |
tree | ee3a5877c307fcaec0724716423f9b619e162c70 /py/warning.c | |
parent | 5ae5ec986ea5e14321f6c8091454c165c23b40c5 (diff) |
py: Convert occurrences of non-debug printf to mp_printf.
Diffstat (limited to 'py/warning.c')
-rw-r--r-- | py/warning.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/py/warning.c b/py/warning.c index 469c19cea..eae145bd3 100644 --- a/py/warning.c +++ b/py/warning.c @@ -35,9 +35,9 @@ void mp_warning(const char *msg, ...) { va_list args; va_start(args, msg); - printf("Warning: "); - vprintf(msg, args); - printf("\n"); + mp_print_str(&mp_plat_print, "Warning: "); + mp_vprintf(&mp_plat_print, msg, args); + mp_print_str(&mp_plat_print, "\n"); } void mp_emitter_warning(pass_kind_t pass, const char *msg) { |