time: use gettimeofday if clock_gettime not available (OS X < Sierra)

Merge request reports

Loading