From 2fe352929027425f63f0494be674e93155ea199e Mon Sep 17 00:00:00 2001 From: Christian Neukirchen Date: Sat, 3 Oct 2015 20:34:44 +0200 Subject: [PATCH] openmpi: forgot to bump libmpi.so. --- common/shlibs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common/shlibs b/common/shlibs index 3319dbb7970..6081206b674 100644 --- a/common/shlibs +++ b/common/shlibs @@ -652,7 +652,7 @@ libaprutil-1.so.0 apr-util-1.3.9_1 libnetpgp.so.0 libnetpgp-20100313_1 libmj.so.0 libmj-20140211_1 libmca_common_sm.so.4 libopenmpi-1.8.2_1 -libmpi.so.1 libopenmpi-1.8.2_1 +libmpi.so.12 libopenmpi-1.10.0_1 libmpi_cxx.so.1 libopenmpi-1.8.2_1 libompitrace.so.0 libopenmpi-1.8.2_1 libopen-pal.so.13 libopenmpi-1.10.0_1