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.
pgpRfuRJNGmBW.pgp
Description: PGP signature
