From d4b80c6ced1ec3b964d3bd8f8772807b13e58922 Mon Sep 17 00:00:00 2001
From: h_vogt <h_vogt>
Date: Mon, 8 Feb 2010 22:17:57 +0000
Subject: [PATCH] patched for Windows

---
 src/frontend/terminal.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/frontend/terminal.h b/src/frontend/terminal.h
index 93c420ab8..afdf7167f 100644
--- a/src/frontend/terminal.h
+++ b/src/frontend/terminal.h
@@ -9,7 +9,13 @@ void promptreturn(void);
 void out_send(char *string);
 
 #ifdef __GNUC__
+#ifdef HAS_WINDOWS
+#undef printf
+#endif
 extern void out_printf(char *fmt, ...) __attribute__ ((format (printf, 1, 2)));
+#ifdef HAS_WINDOWS
+#define printf		p_r_i_n_t_f
+#endif
 #else
 extern void out_printf(char *fmt, ...);
 #endif