Do not try to use clock_gettime() on OSX
authorjsteube <jens.steube@gmail.com>
Sun, 12 Jun 2016 16:07:26 +0000 (18:07 +0200)
committerjsteube <jens.steube@gmail.com>
Sun, 12 Jun 2016 16:07:26 +0000 (18:07 +0200)

No differences found