|
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() Teun
[Prev in Thread] | Current Thread | [Next in Thread] |