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

[Roland Haas]

  Branch: refs/heads/rhaas/optimizedbuild
  Home:   https://github.com/EinsteinToolkit/ExternalLibraries-PETSc
  Commit: 8951a4287c2e200935d76207299661f6ad146d6a
      https://github.com/EinsteinToolkit/ExternalLibraries-PETSc/commit/8951a4287c2e200935d76207299661f6ad146d6a
  Author: Roland Haas <rhaas at illinois.edu>
  Date:   2020-07-28 (Tue, 28 Jul 2020)

  Changed paths:
    M src/build.sh

  Log Message:
  -----------
  PETSc: build optimized library unless DEBUG=yes