On Fri, May 27, 2016 at 4:15 PM, Sean Whitton wrote: > I think you should use a suffix other than -dbg because people expect > -dbg to be detached debugging symbols. I would go with either -dbg (slight preference) or -debug. -- bye, pabs https://wiki.debian.org/PaulWise