diff options
author | Harmen Stoppels <harmenstoppels@gmail.com> | 2022-04-27 11:15:48 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-27 11:15:48 +0200 |
commit | f273e7d3294026bcc8ba03310344893f5e5043bb (patch) | |
tree | 8812b84e1b1942c852faa87af68440075ab253a0 /.github/CONTRIBUTING.md | |
parent | 351072cd9fba3b90f00cf8dc6e51c6d7cfd34fd1 (diff) | |
download | spack-f273e7d3294026bcc8ba03310344893f5e5043bb.tar.gz spack-f273e7d3294026bcc8ba03310344893f5e5043bb.tar.bz2 spack-f273e7d3294026bcc8ba03310344893f5e5043bb.tar.xz spack-f273e7d3294026bcc8ba03310344893f5e5043bb.zip |
openmpi: add toggle for rsh plm (#30251)
By default `openmpi` needs `rsh` from `openssh`, which is a somewhat
redundant dependency for clusters using slurm. This PR adds a toggle to
allow users to disable the ssh/rsh plm altogether.
Diffstat (limited to '.github/CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions