sh-compatible petscmpiexec
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