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

[bje at gcc dot gnu dot org]

------- Comment #3 from bje at gcc dot gnu dot org  2008-01-21 23:52 -------
Patch posted to:
  http://gcc.gnu.org/ml/gcc-patches/2008-01/msg00975.html


-- 


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