This is fine. You can submit patches like this as obvious (submit-before-review) in the future. Thanks!!<br><br>Nick<br><br><div class="gmail_quote">On 20 June 2010 19:12, Rafael Espindola <span dir="ltr"><<a href="mailto:espindola@google.com">espindola@google.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">While debuging why bugpoint was not working properly, I found out that<br>
-save-temps was not saving all the files. This patch solves at least<br>
the ones I noticed.<br>
<br>
Cheers,<br>
<font color="#888888">--<br>
Rafael Ávila de Espíndola<br>
</font></blockquote></div><br>