This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: gdbreplay not installed
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Pedro Alves <palves at redhat dot com>
- Cc: gdb-patches at sourceware dot org
- Date: Thu, 06 Feb 2014 15:06:47 +0200
- 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>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> 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?