Le 24/03/2013 16:47, Vincent van Ravesteijn a écrit :
The branch, master, has been updated.- Log ----------------------------------------------------------------- commit 367126bf245fb2399083a17fb1f8cffa8ed66f91 Author: Vincent van Ravesteijn <v...@lyx.org> Date: Sun Mar 24 13:35:44 2013 +0100 Add a WIN32 equivalent for gettimeofday This function does not really returns the "time of day", but it will suffice to evaluate elapsed times.
What's wrong with using timeGetTime instead? The choice I made was to use plain time to count also the time used by other processes (X server, kernel...). Whan using ticks (at least in linux) I think one does not get the time spent in othe rprocesses).
Of course, using real-life time has drawbacks (the computer should be still), but it seemed to me that it is the easiest solution.
JMarc
