[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [gnugo-devel] trevor_1_12.2

From: Teun Burgers
Subject: Re: [gnugo-devel] trevor_1_12.2
Date: Thu, 25 Oct 2001 18:34:22 +0200

Trevor Morris wrote:

>  - gtp_cputime now uses gg_cputime

> This works on Mingw32 and VC builds.
> However, it reports wall time rather than CPU time on Cygwin.

Why is that? cygwin comes with both sys/times.h and times(),
so gg_cputime invokes times()


reply via email to

[Prev in Thread] Current Thread [Next in Thread]