------- Comment #24 from paul dot richard dot thomas at cea dot fr 2006-08-10 12:11 ------- (In reply to comment #23) > Tonto failed to build again.
HJ Can we close this again? Steve's patch fixed the problem, as far as I know. Regards Paul Thomas -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26106
