Re: Debug libs

[Alex Perez]

Simon and Manuel,

> > I use them all the time.
> > I'd prefer to see problem fixed so we can have both at the same time.
>
> Me too, and I would be extremely upset to see them go.  As I see it, the 
> problem is not with debug libs per se, but with the implementation of 
> make, particularly wrt frameworks.  We should fix the underlying 
> problem, not paste over the cracks.

But what is the point of having two? Isn't it more simple to have one 
set instead of two? IMO the benefit of simplicity outweighs the cost of 
slightly higher memory usage.