1 files changed, 5 insertions, 0 deletions
diff --git a/osdep/terminal-dummy.c b/osdep/terminal-dummy.c
index 8ae6c64827..5a01e5b7d1 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;
@@ -41,3 +42,7 @@ bool terminal_try_attach(void)
 {
     return false;
 }
+
+void terminal_set_mouse_input(bool enable)
+{
+}