Re: [pure-lang-users] system time

[Albert G. <Dr....@t-...>]

Libor Spacek wrote:
> "gettimeofday" does not return any digits after the decimal point, so it has no better resolution than time.

Then you probably forgot to rerun configure. The time functions are
platform-dependent, so they must be detected at build time. If nothing
else is found, Pure's gettimeofday and nanosleep will fall back to
time() and sleep(), respectively, that's why you see this behaviour.
Rerun configure and all should be fine.

Albert

-- 
Dr. Albert Gr"af
Dept. of Music-Informatics, University of Mainz, Germany
Email:  Dr....@t-..., ag...@mu...
WWW:    http://www.musikinformatik.uni-mainz.de/ag