projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cac0d04) | patch
Change install libdir to openmpi3
authorAlastair McKinstry <mckinstry@debian.org>
Wed, 27 Oct 2021 08:08:51 +0000 (09:08 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Wed, 27 Oct 2021 08:08:51 +0000 (09:08 +0100)
commitf208c2b1d0eaf2a2d3cf6766462dc0efe2a6d93a
tree38c7195290dad704c51590f51cca00fc1d7c205ftree | snapshot
parentcac0d04f76f41459bcdc6acd7b1b3f6a1f76f978commit | diff
Change install libdir to openmpi3

Last-Updated: 2019-03-09
Forwarded: no

This is needed to ensure that libopenmpi2, libopenmpi3 do not collide.

Gbp-Pq: Name libdir.patch
configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.