[PATCH] gdbserver: install gdbreplay too

[Mike Frysinger]

The gdbreplay binary is pretty useful, so install it by default like we
do with gdbserver already.

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)'`; \
-- 
1.7.6.1