On Mon, 10 Aug 2009 13:05:01 +0300, Dominique Leuenberger <dominique at leuenberger.net> wrote: > indeed.. seems a simple git pull did not want to get this done for me. > git reset --hard > git pull You are not caching configure checks, are you? (i.e. no config.cache) -- Rémi Denis-Courmont