On Fri, Jul 28, 2017 at 02:34:34PM +0200, Vincent Lefevre wrote: > So, as long as gettimeofday() is still supported in practice, I'd > say that it should be used instead of clock_gettime.
Thank you very much Vincent. I will convert back to using gettimeofday(). If this becomes an issue in the future, we can always convert to clock_gettime() then. -- Kevin J. McCarthy GPG Fingerprint: 8975 A9B3 3AA3 7910 385C 5308 ADEF 7684 8031 6BDA
signature.asc
Description: PGP signature
