Re: [petsc-dev] Is ./configure --help broken?