This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
[PATCH] gdbserver: install gdbreplay too
- From: Mike Frysinger <vapier at gentoo dot org>
- To: gdb-patches at sourceware dot org
- Date: Sat, 31 Dec 2011 03:58:08 -0500
- Subject: [PATCH] gdbserver: install gdbreplay too
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