Now that it is no longer the default build, can we stop it generating Makefile in $PETSC_ARCH?
Matt -- What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead. -- Norbert Wiener
