Re: gdb & libdata/debug

[Patrick Welche <prlw1%cam.ac.uk@localhost>]

On Thu, Sep 19, 2019 at 04:43:57PM +0100, Patrick Welche wrote:
> On Thu, Sep 19, 2019 at 05:41:28PM +0200, Martin Husemann wrote:
> > Something wrong with your debug sets?
> 
> I just finished a build.sh and specifically have MKDEBUG=yes.
> Oddly I just rebuilt rump_server with DBG=-ggdb -O0, MKSTRIPSYM=no,
> and then
> 
> Reading symbols from /usr/bin/rump_server...
> Reading symbols from /usr/libdata/debug//usr/bin/rump_server.debug...
> 
> which I didn't expect.
> 
> I'll do a MKUPDATE=no build...

It seems that MKUPDATE=yes and MKDEBUG=yes don't do what one might
hope for...


Cheers,

Patrick