------- Comment #2 from walter dot zimmer at dlr dot de 2008-06-10 08:11 ------- The workaround works fine, many thanks!
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36476
walter dot zimmer at dlr dot de Tue, 10 Jun 2008 01:12:46 -0700
------- Comment #2 from walter dot zimmer at dlr dot de 2008-06-10 08:11 ------- The workaround works fine, many thanks!
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36476