wrong name

This commit is contained in:
Yann Dupont 2021-05-06 21:38:19 +02:00
parent 8a162f6f3a
commit 608064fb71

View file

@ -713,7 +713,7 @@ in the @code{debug} output), and binutils.")))
((#:phases phases)
`(modify-phases ,phases
(add-after 'build 'mpi-setup
,%glicid-specific-openmpi-setup)
,%openmpi-setup)
(add-before 'check 'patch-tests
(lambda _
;; OpenMPI's mpirun will exit with non-zero status if it