diff options
| author | Dave Love <fx@gnu.org> | 2017-09-04 18:04:21 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-09-12 08:58:27 +0200 |
| commit | a247fe7b0deebf85d42a2d5eb21cac0ecd32a965 (patch) | |
| tree | fb5f6a0e34c3938467f9946730e722af49334eff /gnu/packages/sml.scm | |
| parent | b5831eb7718c458ece555fb5a895ed57d49e73cb (diff) | |
| download | patches-a247fe7b0deebf85d42a2d5eb21cac0ecd32a965.tar patches-a247fe7b0deebf85d42a2d5eb21cac0ecd32a965.tar.gz | |
gnu: openmpi: Remove Valgrind from closure.
* gnu/packages/mpi.scm (openmpi)[arguments]: Elide romio config info to
avoid reference to valgrind.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/sml.scm')
0 files changed, 0 insertions, 0 deletions