gdbreplay not installed
Eli Zaretskii
eliz@gnu.org
Thu Feb 6 13:06:00 GMT 2014
> 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?
More information about the Gdb-patches
mailing list