[petsc-dev] Improving nightly builds for maint

[Satish Balay]

On Wed, 18 Oct 2017, Lisandro Dalcin wrote:

> On 18 October 2017 at 23:26, Satish Balay <balay at mcs.anl.gov> wrote:
> >
> > BTW: Just so clarify - eventhough you see a 'killed' message -
> > currently those jobs are running to completion. [however long it takes
> > under valgrind]
> >
> .
> And then we get a yellow row in the nightly build matrix, right?

Pushed my change for now. [until a better fix is done]

Satish