[Bug other/9346] make uninstall does not remove all files

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=9346 Tom Tromey changed: What|Removed |Added CC||tromey at gcc dot gnu.org --- Comment #8

[Bug other/9346] make uninstall does not remove all files

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=9346 Koutheir Attouchi koutheir at gmail dot com changed: What|Removed |Added CC|

[Bug other/9346] make uninstall does not remove all files

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=9346 --- Comment #6 from Andrew Pinski pinskia at gcc dot gnu.org 2012-12-28 00:04:17 UTC --- (In reply to comment #5) (In reply to comment #3) make uninstall no longer supported so changing to enhancement and It makes no sense to say

[Bug other/9346] make uninstall does not remove all files

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=9346 --- Comment #7 from Koutheir Attouchi koutheir at gmail dot com 2012-12-28 01:15:24 UTC --- (In reply to comment #6) (In reply to comment #5) (In reply to comment #3) make uninstall no longer supported so changing to enhancement and