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 12:56:50 +0000
- Subject: Re: gdbreplay not installed
- Authentication-results: sourceware.org; auth=none
- References: <83d2j0z9pf dot fsf at gnu dot 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?
--
Pedro Alves