[PATCH] gdbserver: install gdbreplay too

Mike Frysinger
2011-12-31T08:58:24Z

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