From: ian <ian>
Date: Sat, 26 Jul 2008 16:30:42 +0000 (+0000)
Subject: declare ouprintfs __attribute__((format...))
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ijackson/git?a=commitdiff_plain;h=414018bcaedc80a9d9a9955aec5a2386d6f400b8;p=trains.git

declare ouprintfs __attribute__((format...))
---

diff --git a/hostside/realtime.h b/hostside/realtime.h
index 751fd9a..ef68f8b 100644
--- a/hostside/realtime.h
+++ b/hostside/realtime.h
@@ -232,11 +232,15 @@ void realtime_priority(void);
 
 extern unsigned rtfeats_use;
 
-void ouvprintf(const char *fmt, va_list al);
-void ouprintf(const char *fmt, ...);
-
-void ouvprintf_only(const char *fmt, va_list al);
-void ouprintf_only(const char *fmt, ...);
+void ouvprintf(const char *fmt, va_list al)
+     __attribute__((format(printf,1,0)));
+void ouprintf(const char *fmt, ...)
+     __attribute__((format(printf,1,2)));
+
+void ouvprintf_only(const char *fmt, va_list al)
+     __attribute__((format(printf,1,0)));
+void ouprintf_only(const char *fmt, ...)
+     __attribute__((format(printf,1,2)));
 
 void debug_count_event(const char *what);