gettimeofday

[Fabian Gerlinghaus]

Hey Samir,

I noticed that you use gettimeofday() in CSystemClock.

Apparently that's not a good thing to do: http://blog.habets.pp.se/2010/09/gettimeofday-should-never-be-used-to-measure-time

Best, Fabian

[Samir Menon]

Replace with c++11 constructs once Ubuntu moves to 14.04. That way people should have access to the latest gcc, which implements them.