[petsc-dev] [petsc-maint] valgrind detected on /usr/local/include and enabled but header files from this dir are not added to build path

[Jed Brown]

Matthew Knepley <knepley at gmail.com> 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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 835 bytes
Desc: not available
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20131029/479c3d02/attachment.sig>