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

[Eli Zaretskii]

> From: Pedro Alves via Gdb-patches <gdb-patches@sourceware.org>
> 
> +If the debugger can determine that the executable file running in the
> +process it is attaching to does not match the current exec-file loaded
> +by @value{GDBN}, the option @code{exec-file-mismatch} specifies how to
> +handle the mismatch.  @value{GDBN} tries to compare the files by
> +comparing their build IDs (@pxref{build ID}).  If build IDs are not
> +present in either file, @value{GDBN} compares the file names.  The
> +@code{exec-file-mismatch} option specifies how to handle a mismatch.

The last sentence is a repetition of what was already said a few
sentences back.

The documentation parts are okay with this nit fixed.  Thanks.