Win32 getProcessElapsedTime: use a higher-resolution time source
authorSimon Marlow <marlowsd@gmail.com>
Thu, 8 Jul 2010 09:32:23 +0000 (09:32 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 8 Jul 2010 09:32:23 +0000 (09:32 +0000)
commit1fb0f13a164146121689e25d6a18d8f75fe56fb9
tree316241049a4919ca4ed342efeed266b7e611b3d1
parenta8dc46dcbeeaf94a5321a1b8932725f7650d7abd
Win32 getProcessElapsedTime: use a higher-resolution time source
QueryPerformanceCounter() on Windows gives much better resolution than
GetSystemTimeAsFileTime().
rts/win32/GetTime.c