[petsc-dev] Cleaning with gnumake

[Satish Balay]

On Tue, 22 Oct 2013, Jed Brown wrote:

> The gnumake target deletes the object directories and libraries, but
> it's not reachable through the front-end makefile.  Which target should
> we put it under?  I don't want to need "make allclean" because that
> takes several seconds to walk through the entire tree.

We hardly use it now - but I think 'make allclean' should be modified
to do the appropriate thing for for each of the builds:
legacy/cmake/gmake [similar to 'make all']

Satish