[Commits] [EinsteinToolkit/ExternalLibraries-PETSc] 8951a4: PETSc: build optimized library unless DEBUG=yes