<div dir="ltr">On Tue, Oct 29, 2013 at 11:05 PM, Jed Brown <span dir="ltr"><<a href="mailto:jedbrown@mcs.anl.gov" target="_blank">jedbrown@mcs.anl.gov</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">Matthew Knepley <<a href="mailto:knepley@gmail.com">knepley@gmail.com</a>> writes:<br>
<br>
> I do not think this is an important corner case.<br>
<br>
</div>It happens periodically, maybe once every few months on petsc-maint.<br>
<div class="im"><br>
> Because you can end up with an incompatible mix of stubs. The build<br>
> may crash even though the stub generation process will not.<br>
<br>
</div>If the working tree is changing while generating the stubs, no amount of<br>
locking will fix it.  If the working tree is not changing, all generator<br>
processes should produce the same result.<br>
</blockquote></div><br>I did not think that was guaranteed, but if it is then this will work.</div><div class="gmail_extra"><br></div><div class="gmail_extra">   Matt<br clear="all"><div><br></div>-- <br>What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br>
-- Norbert Wiener
</div></div>