diff options
| author | Tom Tromey <tom@tromey.com> | 2018-04-18 15:40:57 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2018-05-04 15:58:06 -0600 |
| commit | 1263a9d5f1c6198cdb4e73bafe86ca451d35684d (patch) | |
| tree | ec865758d5817f7babdd1eaef24c3cda4a3aaf5d /gdb/cli/cli-script.h | |
| parent | 12973681f5d46a2407a8dc97c3352fa6c9971716 (diff) | |
| download | gdb-1263a9d5f1c6198cdb4e73bafe86ca451d35684d.zip gdb-1263a9d5f1c6198cdb4e73bafe86ca451d35684d.tar.gz gdb-1263a9d5f1c6198cdb4e73bafe86ca451d35684d.tar.bz2 | |
Make print_command_trace varargs
I noticed some code in execute_control_command_1 that could be
simplified by making print_command_trace a printf-like function. This
patch makes this change.
ChangeLog
2018-05-04 Tom Tromey <tom@tromey.com>
* top.c (execute_command): Update.
* cli/cli-script.h (print_command_lines): Now varargs.
* cli/cli-script.c (print_command_lines): Now varargs.
(execute_control_command_1) <case while_control, case if_control>:
Update.
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 */ |