16 Sep
2007
16 Sep
'07
12:11 p.m.
On 2007-09-15 15:37:28 +0200, Simon Ruderich wrote:
This bug was fixed some hours ago. Use "sudo port sync" to get the fix and then try it again.
BTW, upstream said the real bug was in autoconf (but the latest version wasn't used). So, other ports could suffer from the same problem. -- Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)