Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 40.

[Bruno Haible]

Collin Funk wrote:
> While working on another item in the TODO, I think I found a mistake
> but it is hard for me to tell from diff'ing the output at the moment.
> 
> I think the two lines I've linked are referring to the same thing.
> ...
> Shouldn't the Python one be using 'self.emitter.tests_Makefile_am'
> instead of 'self.emitter.lib_Makefile_am'?

Indeed. It makes no sense that self.emitter.lib_Makefile_am is called
2x, but self.emitter.tests_Makefile_am is called 0 times. Well spotted!

Bruno