On Tue, Oct 29, 2013 at 11:05 PM, Jed Brown <[email protected]> wrote:
> Matthew Knepley <[email protected]> writes: > > > I do not think this is an important corner case. > > It happens periodically, maybe once every few months on petsc-maint. > > > Because you can end up with an incompatible mix of stubs. The build > > may crash even though the stub generation process will not. > > If the working tree is changing while generating the stubs, no amount of > locking will fix it. If the working tree is not changing, all generator > processes should produce the same result. > I did not think that was guaranteed, but if it is then this will work. Matt -- What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead. -- Norbert Wiener
