projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b552137) | patch
Change install libdir to openmpi3
authorAlastair McKinstry <mckinstry@debian.org>
Wed, 12 Oct 2022 11:52:34 +0000 (12:52 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Wed, 12 Oct 2022 11:52:34 +0000 (12:52 +0100)
commitc1ecad490f47ad2b3cef91443fa514cf555d4455
tree773a63c02ac8c4fc9179051dd5c12f41dc3f4c5etree | snapshot
parentb552137ca7554a21230b3484251cd9acfac495dacommit | 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.