diff options
Diffstat (limited to 'gdb/cli/cli-cmds.h')
| -rw-r--r-- | gdb/cli/cli-cmds.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gdb/cli/cli-cmds.h b/gdb/cli/cli-cmds.h index 1aad034..228e6aa 100644 --- a/gdb/cli/cli-cmds.h +++ b/gdb/cli/cli-cmds.h @@ -115,11 +115,16 @@ extern void cd_command (char *, int); extern void quit_command (char *, int); -extern void source_command (char *, int); +extern void source_script (char *, int); /* Used everywhere whenever at least one parameter is required and none is specified. */ extern NORETURN void error_no_arg (char *) ATTR_NORETURN; +/* Command tracing state. */ + +extern int source_verbose; +extern int trace_commands; + #endif /* !defined (CLI_CMDS_H) */ |