This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH] gdbserver: install gdbreplay too

From: Pedro Alves <alves dot ped at gmail dot com>
To: Mike Frysinger <vapier at gentoo dot org>
Cc: gdb-patches at sourceware dot org
Date: Mon, 02 Jan 2012 12:46:45 +0000
Subject: Re: [PATCH] gdbserver: install gdbreplay too
References: <1325321888-5293-1-git-send-email-vapier@gentoo.org>

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

Follow-Ups:
- Re: [PATCH] gdbserver: install gdbreplay too
  - From: Mike Frysinger

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]