diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-04-11 15:48:48 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-04-11 15:49:33 +0200 |
| commit | 88d0b086a98638f23982addc68ca1142a056bd6e (patch) | |
| tree | dd1da68d1e9cbf3498baadf3bc80512d143933dc /gnu/packages/mpi.scm | |
| parent | 46b3b7e5a7b40316bc5d41f580b9e11f3629ae8e (diff) | |
gnu: openmpi: Remove trailing #t.
* gnu/packages/mpi.scm (openmpi)[arguments]: Remove trailing #t.
Diffstat (limited to 'gnu/packages/mpi.scm')
| -rw-r--r-- | gnu/packages/mpi.scm | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index 8b36ad464c..b98b713b9c 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -271,20 +271,17 @@ bind processes, and much more.") (substitute* '("./ompi/mca/io/romio321/src/io_romio321_component.c") (("MCA_io_romio321_COMPLETE_CONFIGURE_FLAGS") - "\"[elided to reduce closure]\"")) - #t)) + "\"[elided to reduce closure]\"")))) (add-before 'build 'scrub-timestamps ;reproducibility (lambda _ (substitute* '("ompi/tools/ompi_info/param.c" "orte/tools/orte-info/param.c" "oshmem/tools/oshmem_info/param.c") - ((".*(Built|Configured) on.*") "")) - #t)) + ((".*(Built|Configured) on.*") "")))) (add-after 'install 'remove-logs ;reproducibility (lambda* (#:key outputs #:allow-other-keys) (let ((out (assoc-ref outputs "out"))) - (for-each delete-file (find-files out "config.log")) - #t)))))) + (for-each delete-file (find-files out "config.log")))))))) (home-page "https://www.open-mpi.org") (synopsis "MPI-3 implementation") (description |