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

[Matthew Knepley]

On Tue, Oct 29, 2013 at 11:05 PM, Jed Brown <jedbrown at mcs.anl.gov> wrote:

> 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.
>

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20131030/8771c54b/attachment.html>