On Wed, Oct 26, 2011 at 4:48 AM, Bernhard Loos
<bernhardloos(a)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