diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2013-04-12 08:57:06 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2013-04-12 08:57:06 +0000 |
| commit | 535a72e321194f4e0c0b2f2b13492e41b3da5d07 (patch) | |
| tree | 86c654a5790064d6d88659beb4aa24306cfc967f /gdb/top.h | |
| parent | dc654647be304adddfc0469d5970edb2a38b3f41 (diff) | |
| download | gdb-535a72e321194f4e0c0b2f2b13492e41b3da5d07.tar.gz | |
Implement a new command to show GDB build-time configuration parameters.
* top.c (print_gdb_configuration): New function, displays the
details about GDB configure-time parameters.
(print_gdb_version): Mention "show configuration".
* cli/cli-cmds.c (show_configuration): New function.
(_initialize_cli_cmds): Add the "show configuration" command.
* main.c (captured_main) <print_configuration>: New static var.
<long_options>: Use it.
If --configuration was given, call print_gdb_configuration.
* doc/gdb.texinfo (Mode Options): Document '-configuration'.
(Help): Document "show configuration".
(Bug Reporting): Add requirements to include the configuration
details in bug reports.
Diffstat (limited to 'gdb/top.h')
| -rw-r--r-- | gdb/top.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/top.h b/gdb/top.h index 2131026fda8..44aefb1fa95 100644 --- a/gdb/top.h +++ b/gdb/top.h @@ -31,6 +31,7 @@ extern int inhibit_gdbinit; extern char gdbinit[]; extern void print_gdb_version (struct ui_file *); +extern void print_gdb_configuration (struct ui_file *); extern void read_command_file (FILE *); extern void init_history (void); |