time: Use clock_gettime
commitd58ea4320a54ec8513ee27ea6f286db886217c4b
authorMarkus Pfeiffer <markus.pfeiffer@morphism.de>
Sat, 15 Jul 2017 22:16:12 +0000 (15 23:16 +0100)
committerMarkus Pfeiffer <markus.pfeiffer@morphism.de>
Sat, 15 Jul 2017 23:21:41 +0000 (16 00:21 +0100)
treead65d2427645e7a9380600aa989e3cf69e202310
parentded6a9cac1fc8780e6deabd495ae22d94eb2e1ec
time: Use clock_gettime

gettimeofday is not suitable for measuring runtimes, as it is
not guaranteed to be monotonic.
usr.bin/time/time.c