Re: [PATCH v2 3/3] Make exec-file-mismatch compare build IDs

[Pedro Alves <palves@redhat.com>]

On 5/18/20 3:21 PM, Philippe Waroquiers wrote:
> 
> Patch looks nice to me.
> 
> Just one small comment: the call
>    add_setshow_enum_cmd ("exec-file-mismatch", class_support,
> still references exec-file name in the help doc string.
> The help doc should better reference the build ID, or alternatively
> be generic by removing "name".

Thanks, completely forgot checking that!

I went with the removing "name" approach.  I've applied this locally:

@@ -1250,8 +1250,8 @@ Set exec-file-mismatch handling (ask|warn|off)."),
                        _("\
 Show exec-file-mismatch handling (ask|warn|off)."),
                        _("\
-Specifies how to handle a mismatch between the current exec-file name\n\
-loaded by GDB and the exec-file name automatically determined when attaching\n\
+Specifies how to handle a mismatch between the current exec-file\n\
+loaded by GDB and the exec-file automatically determined when attaching\n\
 to a process:\n\n\
  ask  - warn the user and ask whether to load the determined exec-file.\n\
  warn - warn the user, but do not change the exec-file.\n\