[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [gnugo-devel] attribute noreturn for abortgo()
|
From: |
Portela Fernando |
|
Subject: |
RE: [gnugo-devel] attribute noreturn for abortgo() |
|
Date: |
Thu, 22 Apr 2004 13:51:17 +0200 |
Hello,
Arend wrote :
> Thanks. Can someone with access to VC try the patch below? board.o
> should get smaller if the patch is effective.
With CVS I have :
22.04.2004 12:11 122'166 board.obj
With the patch, it gives :
22.04.2004 13:25 129'610 board.obj
Not really smaller. I was only able to make a couple unprecise timing
tests : while it definitely does not hurt, I'm unable to measure an
improvement...
cheers,
nando