Sylvain Henry <sylvain@haskus.fr> writes:
When something like this fails, I usually do:
make maintainer-clean
git submodule update --init
./boot
./configure
make -j
Right, it sounds like there are some stale files. I'd bet this fixes it.
Cheers,
- Ben