Merge: OSX use gtime
authorJean Privat <jean@pryen.org>
Fri, 3 Mar 2017 17:52:01 +0000 (12:52 -0500)
committerJean Privat <jean@pryen.org>
Fri, 3 Mar 2017 17:52:01 +0000 (12:52 -0500)
This could help to track why jenkins runs on osx are so slow

Pull-Request: #2384


Trivial merge