[Bug other/12618] core not cleaned up by 'make distclean'

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-27 04:22 -------
If I have time tomorrow I will see if I can supply a patch for this.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Last reconfirmed|2004-06-28 02:21:32         |2004-09-27 04:22:27
               date|                            |


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