[PATCH] Use clock_gettime()'s CLOCK_REALTIME instead of gettimeofday() where possible

[Ed Schouten]

Hi all,

As the discussion got side-tracked a bit (in a good way), it's not entirely clear to me whether I got a green light to push this change in. It looks like I've replied to all of the questions. Shall I go ahead and commit this change as is?

Thanks,
Ed


http://reviews.llvm.org/D8253

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/