Re: [petsc-dev] make test check-test-errors returning $? = 0