1 files changed, 8 insertions, 0 deletions
diff --git a/client/x11/platform.cpp b/client/x11/platform.cpp
index 1bedb225..bceae05a 100644
--- a/client/x11/platform.cpp
+++ b/client/x11/platform.cpp
@@ -252,6 +252,14 @@ void Platform::yield()
     pthread_yield();
 }
 
+void Platform::term_printf(const char* format, ...)
+{
+    va_list ap;
+    va_start(ap, format);
+    vprintf(format, ap);
+    va_end(ap);
+}
+
 void Platform::set_thread_priority(void* thread, Platform::ThreadPriority in_priority)
 {
     ASSERT(thread == NULL);