[PATCH] gdbserver: install gdbreplay too

[Pedro Alves]

On 01/03/2012 02:30 AM, Mike Frysinger wrote:
> 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

Personally, I don't think it does real users any good.  Also, a "gdbreplay"
works for any target/host.  I mean, you can just build one, and keep it
around for all debugging against all kinds of targets (arm-none-eabi,
x86_64-unknown-linux-gnu etc.), no need to have one binary per toolchain,
like arm-none-eabi-gdbreplay, x86_64-unknown-linux-gnu-gdbreplay, etc. installed.