This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: gdbreplay not installed
- From: Pedro Alves <palves at redhat dot com>
- To: Eli Zaretskii <eliz at gnu dot org>
- Cc: gdb-patches at sourceware dot org
- Date: Thu, 06 Feb 2014 13:15:54 +0000
- Subject: Re: gdbreplay not installed
- Authentication-results: sourceware.org; auth=none
- References: <83d2j0z9pf dot fsf at gnu dot org> <52F38692 dot 2000404 at redhat dot com> <83bnykz8yg dot fsf at gnu dot org>
On 02/06/2014 01:06 PM, Eli Zaretskii wrote:
>> Date: Thu, 06 Feb 2014 12:56:50 +0000
>> From: Pedro Alves <palves@redhat.com>
>> CC: gdb-patches@sourceware.org
>>
>> On 02/06/2014 12:50 PM, Eli Zaretskii wrote:
>>> I noticed that gdbreplay is built, but not installed by "make
>>> install". Is that on purpose?
>>
>> Yeah, it's always been that way AFAIK. That's because that's really
>> a maintainer tool, not a user tool. I don't think gdbreplay is
>> even documented in the user manual?
>
> It is mentioned in gdbserver/README.
>
> If it is not for users, perhaps it shouldn't be built by the default
> Make target?
Personally, from a maintenance perspective, I prefer that
it's always built. The tool is quite small and quick to
build, and this way helps avoid potential bit rot.
--
Pedro Alves