Re: [PATCH] gnulib-tool: new option --gnu-make

[Paul Eggert]

On 03/12/2017 11:58 PM, Thien-Thi Nguyen wrote:
>     +  if false && $gnu_make; then
>
> Typo?

Thanks for catching that. It's a harmless typo, as the then-part is not 
supposed to be executed; this was an alternative implementation I was 
thinking of doing, but discarded in favor of the "${AUTOCONF} -t" 
implementation. I installed the attached further patch, which also fixes 
a minor problem in a comment in the output.

0001-gnulib-tool-minor-gnu-make-fixups.patch
Description: Source code patch