What does it mean? http://bento.freebsd.org/errorlogs/alpha-4-latest/mico-2.3.10_1.log http://bento.freebsd.org/errorlogs/alpha-5-latest/mico-2.3.10_2.log The last one is funny. It finished with ps output. What mean gcc flags -mcpu=ev4 -mtune=ev5 -mieee? What bento platform? I can't reproduce a problem on i386 neither on 4.x nor 5.x. ---- Sem.