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