[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:

> If we are hashing the source, why ever keep it around? Just keep the
> hash.  If the hash does not match the tarball we get (either from
> options or by default lookup), unpack it, build it, and store that
> hash, then delete the source.

It's useful to have the source when debugging.
-------------- 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/6653bbcf/attachment.sig>