diff options
Diffstat (limited to 'gdb/cli/cli-script.h')
| -rw-r--r-- | gdb/cli/cli-script.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gdb/cli/cli-script.h b/gdb/cli/cli-script.h index 58dede23..10b6c17 100644 --- a/gdb/cli/cli-script.h +++ b/gdb/cli/cli-script.h @@ -148,7 +148,8 @@ extern std::string insert_user_defined_cmd_args (const char *line); /* Exported to top.c */ -extern void print_command_trace (const char *cmd); +extern void print_command_trace (const char *cmd, ...) + ATTRIBUTE_PRINTF (1, 2); /* Exported to event-top.c */ |