On Fri, Apr 19, 2013 at 02:00:00AM +0200, Markus Mohrhard wrote: > is there anything speaking against building external libraries in the > dbgutil case with symbols and without optimization? We don't do that yet? I'd answer an emphatic "do it". -- Lionel