Skip to content
Snippets Groups Projects
Commit ed5d4421 authored by Daniel Salzman's avatar Daniel Salzman
Browse files

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

parent 4d449374
No related branches found
No related tags found
1 merge request!664time: use gettimeofday if clock_gettime not available (OS X < Sierra)
Pipeline #