Commit b8b8aa560c038c6f0c22a574d99d314a1f4a3b7a
2010-09-02T17:52:20
Use GetSystemTimeAsFileTime to implement gettimeofday on win32. It is (in my benchmarks) way faster than _ftime, though the conversion process is not so straightforward. In theory, it can have a better granularity too, though in practice who knows what you're getting.