Ralph Castain <r...@open-mpi.org> writes: > 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've never seen anything asking me about it, but I'm not an OMPI developer in a position to review backports or even put things in a bug tracker. 1.10 isn't used here, and I just subvert gettimeofday whenever I'm running something that might use it for timing short intervals. > 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?