Use gettimeofday() on non-Windows platforms
commit20d752ec139f7b353bc2c78ff9e8292c769c46b4
authorArto Jonsson <ajonsson@kapsi.fi>
Fri, 10 Jan 2014 17:04:36 +0000 (10 19:04 +0200)
committerArto Jonsson <ajonsson@kapsi.fi>
Fri, 10 Jan 2014 17:04:36 +0000 (10 19:04 +0200)
tree15285c0d0e0522be9ed912a910dfa8ec99f363e0
parent32801c642cfe85a931c8a735418a28db9e027e5e
Use gettimeofday() on non-Windows platforms

Some OSes have fully deprecated the use of the ftime() function. Its use
is also discouraged in the POSIX documentation. Replace the use of
ftime() with gettimeofday(). On Windows no such replacements exists so
continue using ftime().
src/util.c