Re: [PATCH] gdbserver: install gdbreplay too

Pedro Alves
2012-01-02T12:47:03Z

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.

>
> Signed-off-by: Mike Frysinger<vapier@gentoo.org>
>
> 2011-12-31 Mike Frysinger<vapier@gentoo.org>
>
> * Makefile.in (install): Install gdbreplay into $(bindir).
> ---
> gdb/gdbserver/Makefile.in | 2 ++
> 1 files changed, 2 insertions(+), 0 deletions(-)
>
> diff --git a/gdb/gdbserver/Makefile.in b/gdb/gdbserver/Makefile.in
> index 01729ce..1ce196a 100644
> --- a/gdb/gdbserver/Makefile.in
> +++ b/gdb/gdbserver/Makefile.in
> @@ -213,6 +213,8 @@ install-only:
> $(INSTALL_PROGRAM) gdbserver$(EXEEXT) $(DESTDIR)$(bindir)/$$n$(EXEEXT); \
> $(SHELL) $(srcdir)/../../mkinstalldirs $(DESTDIR)$(man1dir); \
> $(INSTALL_DATA) $(srcdir)/gdbserver.1 $(DESTDIR)$(man1dir)/$$n.1
> + n=`echo gdbreplay | sed '$(program_transform_name)'`; \
> + $(INSTALL_PROGRAM) gdbreplay$(EXEEXT) $(DESTDIR)$(bindir)/$$n$(EXEEXT); \
>
> uninstall: force
> n=`echo gdbserver | sed '$(program_transform_name)'`; \