diff options
Diffstat (limited to 'gdb/cli/cli-script.c')
| -rw-r--r-- | gdb/cli/cli-script.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gdb/cli/cli-script.c b/gdb/cli/cli-script.c index 4fc9c70..3137955 100644 --- a/gdb/cli/cli-script.c +++ b/gdb/cli/cli-script.c @@ -449,7 +449,6 @@ void execute_user_command (struct cmd_list_element *c, const char *args) { counted_command_line cmdlines_copy; - extern unsigned int max_user_call_depth; /* Ensure that the user commands can't be deleted while they are executing. */ |