Re: Add support for --with-system-gdbinit

[Jerome Guitton <guitton at adacore dot com>]

Daniel Jacobowitz (drow@false.org):

> Having --help print it out sounds wise to me.

Maybe we can take this opportunity to print the list of gdbinit loaded in
GDB at startup. Something like:

[...]
  --xdb              XDB compatibility mode.

At startup, GDB reads the following init files and executes their commands:
  * system-wide init file: /etc/gdb/gdbinit
  * user-specific init file: /homes/guitton/.gdbinit
  * local init file: /homes/guitton/work/.gdbinit

For more information, type "help" from within GDB, or consult the
GDB manual (available as on-line info or a printed manual).
[...]


Would that make sense?