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