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