On Wed, Nov 25, 2009 at 01:43:58AM +0100, Denys Vlasenko wrote: > Try current git, I committed another fix. > Survives continuous make clean; make -r -j8; loop. That fixes it for me, too. >>> Dan -- http://www.MoveAnnouncer.com The web change of address service Let webmasters know that your web site has moved