diff options
Diffstat (limited to 'gdb/monitor.h')
| -rw-r--r-- | gdb/monitor.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gdb/monitor.h b/gdb/monitor.h index dde19aa..85de892 100644 --- a/gdb/monitor.h +++ b/gdb/monitor.h @@ -172,6 +172,8 @@ extern void monitor_open PARAMS ((char *args, struct monitor_ops *ops, int from_ extern char *monitor_supply_register PARAMS ((int regno, char *valstr)); extern int monitor_expect PARAMS ((char *prompt, char *buf, int buflen)); extern int monitor_expect_prompt PARAMS ((char *buf, int buflen)); -extern void monitor_printf PARAMS ((char *, ...)); -extern void monitor_printf_noecho PARAMS ((char *, ...)); +extern void monitor_printf PARAMS ((char *, ...)) + ATTR_FORMAT(printf, 1, 2); +extern void monitor_printf_noecho PARAMS ((char *, ...)) + ATTR_FORMAT(printf, 1, 2); extern void init_monitor_ops PARAMS ((struct target_ops *)); |