On Tue, Apr 04, 2006 at 07:47:17PM -0700, H. J. Lu wrote: > > Tonto is blocked now by > > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27035 > > If someone can fix it, I will give Tonto another try. This bug has been fixed. But tonto segfaulted after 20 minutes. H.J.