[petsc-dev] related to compiling your source code

[Barry Smith]

> On Apr 14, 2015, at 3:24 PM, Jed Brown <jed at jedbrown.org> wrote:
> 
> Barry Smith <bsmith at mcs.anl.gov> writes:
>>   Theoretically it is a great feature but no one uses it and those who do use it forget that they used it.
> 
> It would also be useful for -log_summary to state where each option was
> found (e.g., PETSC_OPTIONS, .petscrc, command line).  People forget this
> stuff all the time.

  Shame about your recent climbing accident when you lost all your fingers.