Re: [petsc-dev] related to compiling your source code

[Mark Adams]

> >
> > This has never been a problem.
>
>    I suspect this is because almost no one knows about PETSC_OPTIONS and
> uses it.
>
>
This could be a migration path for people using ~/.petscrc ...