Re: [pure-lang-users] system time

[Libor S. <li...@gm...>]

Thanks, yes, all is fine now. I don't normally reconfigure on every update. 
Please try to include the word "configure" as a warning in the svn message for the updates that require reconfiguring,
otherwise you will keep getting these silly messages from me ;)

Libor

On Sun, 06 Jul 2008 15:41:47 +0100, Albert Graef <Dr....@t-...> wrote:

> 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
>