On Tue, Oct 16, 2012 at 12:04 PM, Robby Findler <span dir="ltr">&lt;<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
(FWIW, it is not really wrong to consider this behavior a bug at a<br>
number of different levels (why rely on timestamps? why does<br>
compilation not produce the same thing each time?) and it is something<br>
we&#39;ve struggled with for a long time, so maybe your experience here<br>
will give us another piece to the puzzle on dealing with this issue<br>
overall.)<br>
<span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br></div><div>Yes, compilation not being idempotent has come up as an issue for us. It&#39;s certainly lower priority though...</div><div> </div>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="HOEnZb"><font color="#888888">
Robby<br>
</font></span><div class="HOEnZb"><div class="h5"><br></div></div></blockquote></div><div><br></div>-- <br>Dan Liebgold    [<a href="mailto:dan.liebgold@gmail.com">dan.liebgold@gmail.com</a>]<br>