This is the mail archive of the gdb@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: 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"'



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