This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH] gdbserver: install gdbreplay too
- From: Joel Brobecker <brobecker at adacore dot com>
- To: Mike Frysinger <vapier at gentoo dot org>
- Cc: gdb-patches at sourceware dot org
- Date: Sat, 31 Dec 2011 13:13:18 +0400
- Subject: Re: [PATCH] gdbserver: install gdbreplay too
- References: <1325321888-5293-1-git-send-email-vapier@gentoo.org>
> The gdbreplay binary is pretty useful, so install it by default like we
> do with gdbserver already.
>
> 2011-12-31 Mike Frysinger <vapier@gentoo.org>
>
> * Makefile.in (install): Install gdbreplay into $(bindir).
This seems reasonable to me, but I don't really know the history,
whether this was an oversight or a conscious decision. Let's wait
a little and see what others think...
--
Joel