Two observations using GDB 13 snapshot

[Andreas Schwab]

On Jan 07 2023, Eli Zaretskii wrote:

>> From: Andreas Schwab <schwab@linux-m68k.org>
>> Cc: gdb-patches@sourceware.org
>> Date: Sat, 07 Jan 2023 15:40:01 +0100
>> 
>> On Jan 07 2023, Eli Zaretskii wrote:
>> 
>> > So the problem is that we are now using libtool, and that causes the
>> > GDB executable to be in a directory different from where gdb-gdb.gdb
>> > is kept.
>> 
>> That does not happen for me.  Did you configure with --enable-shared?
>
> No.  Why would I need to?

Without it, libtool should have no reason to put gdb in .libs.

> GDB is not a library, and doesn't build libraries that need to be
> installed, AFAIK.

So why does it create the gdb binary in .libs?  It is empty for me.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."