This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
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: Wed, 04 Jan 2012 12:48:02 +0000
- Subject: Re: [PATCH] gdbserver: install gdbreplay too
- References: <1325321888-5293-1-git-send-email-vapier@gentoo.org> <4F01A735.8080503@gmail.com> <201201022130.23597.vapier@gentoo.org>
On 01/03/2012 02:30 AM, Mike Frysinger wrote:
On Monday 02 January 2012 07:46:45 Pedro Alves wrote:
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.
aren't all users just developers in hiding ? ;)
:-)
i can drop it if people prefer not to install it
-mike
Personally, I don't think it does real users any good. Also, a "gdbreplay"
works for any target/host. I mean, you can just build one, and keep it
around for all debugging against all kinds of targets (arm-none-eabi,
x86_64-unknown-linux-gnu etc.), no need to have one binary per toolchain,
like arm-none-eabi-gdbreplay, x86_64-unknown-linux-gnu-gdbreplay, etc. installed.