diff options
Diffstat (limited to 'gnu/packages/mpi.scm')
| -rw-r--r-- | gnu/packages/mpi.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index c162cf50e6..9a7cffde19 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -231,7 +231,7 @@ bind processes, and much more.") (if-supported psm) (if-supported psm2) (if-supported ucx) - (if-supported valgrind) + (if-supported valgrind/pinned) (list rdma-core slurm)))) ;for PMI support (launching via "srun") (native-inputs |