diff options
Diffstat (limited to 'mdk-stage1/frontend.h')
| -rw-r--r-- | mdk-stage1/frontend.h | 6 |
1 files changed, 3 insertions, 3 deletions
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); |