<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Jan 10, 2011, at 4:34 PM, Rafael Ávila de Espíndola wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div><blockquote type="cite">This is probably our intermittent bootstrap failure.<br></blockquote><br>The bootstrap comparison problem? Is it really intermittent? Looks to be failing fairly often these days. There is probably some non deterministic behavior somewhere :-(<br></div></blockquote></div><br><div>Oh, agreed. Jakob and Chris are attempting to track it down.</div><div><br></div><div>-eric</div></body></html>