make install-strip

[Ralf Wildenhues]

Hello,

* Ian Lance Taylor wrote on Wed, Dec 08, 2010 at 05:18:59PM CET:
> kevin diggs <diggskevin38@gmail.com> writes:
> 
> > The install instructions for 4.3.5 say that the GNAT runtime
> > (libraries? gnat1? gnat?) should not be stripped. If the install-strip
> > make target does what I think it does does it know NOT to strip the
> > "GNAT runtime"?
> 
> It should.  If it doesn't, please file a bug report.  Thanks.

FWIW, libgnarl and libgnat should not by stripped by 'make install-strip'.
Are there any others that require not being stripped?

Thanks,
Ralf