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: Mike Frysinger <vapier at gentoo dot org>
- Cc: gdb-patches at sourceware dot org, Eli Zaretskii <eliz at gnu dot org>
- Date: Thu, 06 Feb 2014 18:04:32 +0000
- Subject: Re: gdbreplay not installed
- Authentication-results: sourceware.org; auth=none
- References: <83d2j0z9pf dot fsf at gnu dot org> <22448237 dot zgeW1rGICq at vapier>
On 02/06/2014 01:34 PM, Mike Frysinger wrote:
> On Thursday, February 06, 2014 14:50:36 Eli Zaretskii wrote:
>> I noticed that gdbreplay is built, but not installed by "make
>> install". Is that on purpose?
>
> previous discussion:
> https://sourceware.org/ml/gdb-patches/2011-12/msg00915.html
> https://sourceware.org/ml/gdb-patches/2012-01/msg00002.html
>
> oh gawd, has it really been 2 years already ...
I won't object to installing it if turns out multiple people
do want it installed, but I have to say I have trouble
figuring out _who_ but maintainers (and integrators doing
their own maintenance) would want it.
--
Pedro Alves