2011/9/29 Frédéric Delanoy frederic.delanoy@gmail.com:
Apparently a preliminary "make clean" seems to fix that issue. Sorry for the noise. Dan, did buildbot had those issues or does it do a 'make clean'?
The buildbot always starts with a clean directory, so it won't catch problems like that :-(