[Bug other/46202] Makefile doesn't support install-strip

[rwild at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46202

--- Comment #1 from Ralf Wildenhues <rwild at gcc dot gnu.org> 2010-11-02 
21:44:12 UTC ---
Proposed patch at <http://gcc.gnu.org/ml/gcc-patches/2010-11/msg00192.html>.