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

[Bruno Haible]

Collin Funk wrote:
> Here is a simple patch that fixes the conditionals when using
> --gnu-make.

Thanks, applied.

Bruno