Re: [OMPI users] MPI_Finalize() small issue with mutex destruction

2016-05-19 Thread Ralph Castain
Here’s the 1.10 version of the PR: https://github.com/open-mpi/ompi-release/pull/1172 > On May 19, 2016, at 9:18 AM, Nicolas Joly wrote: > > On Thu, May 19, 2016 at 09:13:15AM -0700, Ralph Castain wrote: >> No issue at all - I?ll check the

Re: [OMPI users] MPI_Finalize() small issue with mutex destruction

2016-05-19 Thread Nicolas Joly
On Thu, May 19, 2016 at 09:13:15AM -0700, Ralph Castain wrote: > No issue at all - I?ll check the latest versions and ensure the > problem is present in them. Out of curiosity - what version of OMPI > are you describing? njoly@lanfeust [tmp/mpi]> mpirun --version mpirun (Open MPI) 1.10.1 I discov

Re: [OMPI users] MPI_Finalize() small issue with mutex destruction

2016-05-19 Thread Ralph Castain
No issue at all - I’ll check the latest versions and ensure the problem is present in them. Out of curiosity - what version of OMPI are you describing? > On May 19, 2016, at 9:06 AM, Nicolas Joly wrote: > > > Hi, > > I just discovered a small issue with MPI_Finalize(). When sanity > checking