[petsc-dev] Cleaning with gnumake

[Satish Balay]

On Tue, 22 Oct 2013, Satish Balay wrote:

> On Tue, 22 Oct 2013, Satish Balay wrote:
> 
> > Also I should flip OMAKE/OMAKE_NOPRINTDIR to OMAKE_NOPRINTDIR/OMAKE
> 
> Ops - I meant flip OMAKE/OMAKE_NOPRINTDIR to OMAKE_PRINTDIR/OMAKE.
> 
> [we need OMAKE_PRINTDIR only for compile targets - and OMAKE for everything else]

pushed to jed/gnumake and merged to next now.

Satish