Nobody ever filed a PR to update the branch with the patch - looks like you never responded to confirm that George’s proposed patch was acceptable. I’ll create the PR and copy you for review
> On May 23, 2016, at 9:17 AM, Dave Love <d.l...@liverpool.ac.uk> wrote: > > I thought the 1.10 branch had been fixed to use clock_gettime for > MPI_Wtime where it's available, a la > https://www.open-mpi.org/community/lists/users/2016/04/28899.php -- and > have been telling people so! However, I realize it hasn't, and it looks > as if 1.10 is still being maintained. > > Is there a good reason for that, or could it be fixed? > _______________________________________________ > users mailing list > us...@open-mpi.org > Subscription: https://www.open-mpi.org/mailman/listinfo.cgi/users > Link to this post: > http://www.open-mpi.org/community/lists/users/2016/05/29286.php
