Re: [PATCH] gdbserver: install gdbreplay too

Joel Brobecker
2011-12-31T09:13:43Z

> The gdbreplay binary is pretty useful, so install it by default like we
> do with gdbserver already.
>
> 2011-12-31 Mike Frysinger <vapier@gentoo.org>
>
> * Makefile.in (install): Install gdbreplay into $(bindir).

This seems reasonable to me, but I don't really know the history,
whether this was an oversight or a conscious decision. Let's wait
a little and see what others think...

--
Joel