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

Barry Smith <bsm...@mcs.anl.gov> writes:
>    Besides us, hardly anyone uses more than 2 PETSC_ARCH!

And here I have 60 on one machine.  It might be time to clean up a
little.

>    So how about just moving externalpackages into $PETSC_ARCH and
>    don’t build some elaborate scheme that reuses tar balls for a tiny
>    number of people.  In other words a clean truly means clean and
>    gets new tar balls.

That sounds good to me.

pgpA5H8L1X_5q.pgp
Description: PGP signature