On Wed, Oct 26, 2011 at 4:48 AM, Bernhard Loos <bernhardloos at googlemail.com> wrote: > This means tools/widl/Makefile wasn't regenerated. > But the changes to Makefile.in are there, so it's a problem with your system. Hmm. Thanks, I'll have a look. - Dan