From 9198ef4d82decfebda42f6eec98e51b100f3f834 Mon Sep 17 00:00:00 2001 From: Guillaume Cottenceau Date: Sun, 18 Mar 2001 22:09:25 +0000 Subject: use some help with __attribute__ --- mdk-stage1/frontend.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'mdk-stage1/frontend.h') diff --git a/mdk-stage1/frontend.h b/mdk-stage1/frontend.h index 2869590e7..a5950f1da 100644 --- a/mdk-stage1/frontend.h +++ b/mdk-stage1/frontend.h @@ -24,9 +24,9 @@ void init_frontend(void); void finish_frontend(void); -void error_message(char *msg, ...); /* blocking */ -void info_message(char *msg, ...); /* blocking */ -void wait_message(char *msg, ...); /* non-blocking */ +void error_message(char *msg, ...) __attribute__ ((format (printf, 1, 2))); /* blocking */ +void info_message(char *msg, ...) __attribute__ ((format (printf, 1, 2))); /* blocking */ +void wait_message(char *msg, ...) __attribute__ ((format (printf, 1, 2))); /* non-blocking */ void remove_wait_message(void); void init_progression(char *msg, int size); -- cgit v1.2.1