cf98657adb
* Update MPI_WTICK / MPI_WTIME man pages: * Fix C++ declarations * Note that we may use better than gettimeofday() on some platforms * Add "MPI_WTIME support" ("options:mpi-wtime") flag in ompi_info output indicating whether we use "native" or "gettimeofday" for MPI_WTIME This commit was SVN r16774.