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
