On Tue, 30 Oct 2018 at 12:00, Bruno Haible wrote:
> Reuben Thomas wrote:
> > Thanks for the change, which sounds good to me unless there's some other
> > GPL-licensed version of make (so it might mention "GNU General Public
> > License" in the output); it might be better explicitly to check the f
Reuben Thomas wrote:
> Thanks for the change, which sounds good to me unless there's some other
> GPL-licensed version of make (so it might mention "GNU General Public
> License" in the output); it might be better explicitly to check the first
> line of the output?
Indeed. Also, better minimize th
On Mon, 29 Oct 2018 at 21:37, Bruno Haible wrote:
> [Changed the subject to something meaningful]
>
Sorry about that; I only noticed after forwarding that I'd forgotten.
Thanks for the change, which sounds good to me unless there's some other
GPL-licensed version of make (so it might mention "G
[Changed the subject to something meaningful]
Hi Reuben,
> Problem reported to me by a NetBSD user:
>
> m4/gnu-make.m4 […] has wrong assumptions:
>
> 11 # Set GNU_MAKE if we are using a recent-enough version of GNU make.
> 12
> 13 # Use --version AND trailing junk, because SGI Mak
