This is the mail archive of the
gdb@sourceware.org
mailing list for the GDB project.
Re: Should we install gcore.sh (and a gcore.1 man page)?
On Wed, 2007-10-24 at 15:24 -0700, Joel Brobecker wrote:
> > > I think it's a useful script to install. My only concern is that
> > > not all configurations support the gcore command...
> >
> > Configure?
>
> Or maybe check the contents of DEPFILES? If it contains gcore.o,
> then install the script, otherwise we don't.
That sounds good. Then we would not have to change much
except for like Makefile.in and configure.in. Script something
like 'cat <host makefile fragment> | grep "gcore\.o"'