From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <eliz@gnu.org>
Received: from eggs.gnu.org (eggs.gnu.org [IPv6:2001:470:142:3::10])
 by sourceware.org (Postfix) with ESMTPS id 505ED386F81E
 for <gdb-patches@sourceware.org>; Sun, 17 May 2020 18:25:41 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 505ED386F81E
Authentication-Results: sourceware.org;
 dmarc=none (p=none dis=none) header.from=gnu.org
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=eliz@gnu.org
Received: from fencepost.gnu.org ([2001:470:142:3::e]:35969)
 by eggs.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <eliz@gnu.org>)
 id 1jaNym-0003s9-Qg; Sun, 17 May 2020 14:25:40 -0400
Received: from [176.228.60.248] (port=1906 helo=home-c4e4a596f7)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <eliz@gnu.org>)
 id 1jaNyd-0004Fx-Fr; Sun, 17 May 2020 14:25:37 -0400
Date: Sun, 17 May 2020 21:25:24 +0300
Message-Id: <834ksebeqz.fsf@gnu.org>
From: Eli Zaretskii <eliz@gnu.org>
To: Pedro Alves <palves@redhat.com>
Cc: gdb-patches@sourceware.org
In-Reply-To: <20200517180450.14925-4-palves@redhat.com> (message from Pedro
 Alves via Gdb-patches on Sun, 17 May 2020 19:04:50 +0100)
Subject: Re: [PATCH 3/3] Make exec-file-mismatch compare build IDs
References: <20200517180450.14925-1-palves@redhat.com>
 <20200517180450.14925-4-palves@redhat.com>
X-Spam-Status: No, score=-6.2 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS,
 RCVD_IN_DNSWL_LOW, SPF_HELO_NONE, SPF_PASS,
 TXREP autolearn=ham autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: gdb-patches@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gdb-patches mailing list <gdb-patches.sourceware.org>
List-Unsubscribe: <http://sourceware.org/mailman/options/gdb-patches>,
 <mailto:gdb-patches-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-request@sourceware.org?subject=help>
List-Subscribe: <http://sourceware.org/mailman/listinfo/gdb-patches>,
 <mailto:gdb-patches-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Sun, 17 May 2020 18:25:42 -0000

> 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.