Re: [PATCH] gdbserver: install gdbreplay too

Mike Frysinger
2012-01-03T02:30:30Z

[-- Attachment #1: Type: Text/Plain, Size: 420 bytes --]

On Monday 02 January 2012 07:46:45 Pedro Alves wrote:
> On 12/31/2011 08:58 AM, Mike Frysinger wrote:
> > The gdbreplay binary is pretty useful, so install it by default like we
> > do with gdbserver already.
>
> I'm ambivalent on this. This is a gdb developer tool, not something a
> user would use.

aren't all users just developers in hiding ? ;)

i can drop it if people prefer not to install it
-mike

[-- Attachment #2: This is a digitally signed message part. --]
[-- Type: application/pgp-signature, Size: 836 bytes --]