[petsc-dev] nightly builds

[Barry Smith]

On Jul 6, 2013, at 10:42 AM, Jed Brown <jedbrown at mcs.anl.gov> wrote:

> Satish Balay <balay at mcs.anl.gov> writes:
> 
>> reverted now
> 
> Should we make a ./configure --developer that turns on a collection of
> more pedantic flags?

   That doesn't match out normal naming conventions. --with-developer ?