diff options
Diffstat (limited to 'gdb/cli/cli-cmds.h')
| -rw-r--r-- | gdb/cli/cli-cmds.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/cli/cli-cmds.h b/gdb/cli/cli-cmds.h index 5bfffde..1a8b9a0 100644 --- a/gdb/cli/cli-cmds.h +++ b/gdb/cli/cli-cmds.h @@ -139,7 +139,7 @@ extern gdb::optional<open_script> /* Command tracing state. */ extern int source_verbose; -extern int trace_commands; +extern bool trace_commands; /* Common code for the "with" and "maintenance with" commands. SET_CMD_PREFIX is the spelling of the corresponding "set" command |