Re: [PATCH] gdb, configure: Add disable-formats option for configure

[Eli Zaretskii <eliz@gnu.org>]

> Date: Tue, 8 Oct 2024 10:03:58 -0300
> Cc: aburgess@redhat.com, gdb-patches@sourceware.org
> From: Guinevere Larsen <guinevere@redhat.com>
> 
> Ultimately, this is a feature for advanced users who have deep domain 
> knowledge on the systems they expect to handle, and similar to how, even 
> with the update on the --target and --enable-targets documentation, I 
> wouldn't expect every single target triplet supported by GDB to be 
> listed in the documentation, I don't think we should list what formats 
> are recommended for each target.
> 
> I can change the first paragraph of the description to read as follows:
>    Configure GDB to only be be able to read selected file formats. The
>    special value "all" causes all file formats to be compiled in, and is 
> the
>    the default behavior of the option. If you are unsure of which options
>    you will need for your debugging sessions, we recommend that you
>    not make use of this function. The possible options are:
> 
> <list of options as sent in previous email>

Maybe this is better.

I'm worried by the fact that I'm the only one talking to you about
this: maybe there's no problem at all, and I'm the only one confused.
In that case, apologies for wasting your time.