True, but when users send reports back to us they will never have used the VERBOSE=1 option, so it requires one more round trip of email to get this additional information.
> On Oct 8, 2022, at 6:48 PM, Jed Brown <j...@jedbrown.org> wrote: > > Barry Smith <bsm...@petsc.dev> writes: > >> I hate these kinds of make rules that hide what the compiler is doing (in >> the name of having less output, I guess) it makes it difficult to figure out >> what is going wrong. > > You can make VERBOSE=1 with CMake-generated makefiles.