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 /guix/scripts | |
parent | b5831eb7718c458ece555fb5a895ed57d49e73cb (diff) | |
download | guix-patches-a247fe7b0deebf85d42a2d5eb21cac0ecd32a965.tar guix-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 'guix/scripts')
0 files changed, 0 insertions, 0 deletions