------- Comment #1 from mikael at gcc dot gnu dot org 2008-12-08 22:51 ------- Does it still happen? If so, can you provide more information (host, version, configure options)?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38062
mikael at gcc dot gnu dot org Mon, 08 Dec 2008 14:53:05 -0800
------- Comment #1 from mikael at gcc dot gnu dot org 2008-12-08 22:51 ------- Does it still happen? If so, can you provide more information (host, version, configure options)?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38062