From fde1a9a3ee8c95bb7bae6c764755bcbffdbb0308 Mon Sep 17 00:00:00 2001 From: Andrew Burgess Date: Thu, 26 Apr 2018 16:21:34 +0100 Subject: gdb: add setting to disable reading source code files In some situations it is possible that a user might not want GDB to try and access source code files, for example, the source code might be stored on a slow to access network file system. It is almost certainly possible that using some combination of 'set directories' and/or 'set substitute-path' a user can trick GDB into being unable to find the source files, but this feels like a rather crude way to solve the problem. In this commit a new option is add that stops GDB from opening and reading the source files. A user can run with source code reading disabled if this is required, then re-enable later if they decide that they now want to view the source code. --- gdb/cli/cli-cmds.h | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'gdb/cli/cli-cmds.h') diff --git a/gdb/cli/cli-cmds.h b/gdb/cli/cli-cmds.h index ce2e3888..a4b4168 100644 --- a/gdb/cli/cli-cmds.h +++ b/gdb/cli/cli-cmds.h @@ -137,6 +137,14 @@ extern struct cmd_list_element *showchecklist; extern struct cmd_list_element *save_cmdlist; +/* Chain containing all defined "set source" subcommands. */ + +extern struct cmd_list_element *setsourcelist; + +/* Chain containing all defined "show source" subcommands. */ + +extern struct cmd_list_element *showsourcelist; + /* Limit the call depth of user-defined commands */ extern unsigned int max_user_call_depth; -- cgit v1.1