> On Thu, Dec 09, 2004 at 07:21:00AM +0000, igor@string1.ciencias.uniovi.es wrote:
> 
> The file don't have debugging information in them (they aren't built w. -g).
> 
> All stripping will do at this point is remove the rest of the symbol 
> information which makes getting stack traces from potential core dumps fairly
> useless. It's adding no real overhead to the system and retaining that
> symbol data is still useful. It's not the same as "debugging information".

Hi James!

I was not aware about this fact, I did not run gdb(1) on them.  As
symbol information was missing in earlier releases, I supposed it
was a mistake on the compilation process.

Now, it is obvious to me that the symbol information will help users
providing higher quality feedback on the operating system errors.
I am glad to see that this feature is available.  I hope that this
information will help improving the operating system quality
even more!

Please, close the PR.  Nice to know that those extra bits are
a feature, and not a mistake.  Indeed, there is a big difference
in providing symbols for support tracing binaries and the full
source code for debugging.

Cheers,
Igor.