Skip to content

sh-compatible petscmpiexec

Martin Diehl requested to merge MarDiehl/petsc:petscmpiexec-sh into main

Which shell to use is certainly a matter of taste and I don't want to convince someone not to use csh. However, I think that sh is available on most systems and best suited for a portable script.

Note: I also removed suppressions for valgrind because I could not find ${PETSC_DIR}/lib/petsc/bin/maint/petsc-val.supp

Merge request reports