diff options
Diffstat (limited to 'osdep/terminal-dummy.c')
| -rw-r--r-- | osdep/terminal-dummy.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/osdep/terminal-dummy.c b/osdep/terminal-dummy.c index 8ae6c64827..a2cfe741a8 100644 --- a/osdep/terminal-dummy.c +++ b/osdep/terminal-dummy.c @@ -27,6 +27,7 @@ void terminal_get_size2(int *rows, int *cols, int *px_width, int *px_height) { } +PRINTF_ATTRIBUTE(2, 0) int mp_console_vfprintf(void *wstream, const char *format, va_list args) { return 0; |