From 414018bcaedc80a9d9a9955aec5a2386d6f400b8 Mon Sep 17 00:00:00 2001 From: ian Date: Sat, 26 Jul 2008 16:30:42 +0000 Subject: [PATCH] declare ouprintfs __attribute__((format...)) --- hostside/realtime.h | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) 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); -- 2.30.2