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

[bje at gcc dot gnu dot org]

------- Comment #5 from bje at gcc dot gnu dot org  2008-02-19 04:12 -------
Fixed in trunk.


-- 

bje at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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