Re: gnu-make.m4 on NetBSD

2018-10-30 Thread Reuben Thomas
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

Re: gnu-make.m4 on NetBSD

2018-10-30 Thread Bruno Haible
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

Re: gnu-make.m4 on NetBSD

2018-10-30 Thread Reuben Thomas
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

Re: bug#6816: df bug on 64-bit Solaris (need to use getextmntent)

2018-10-30 Thread Bruno Haible
Hello Assaf, > > 2018-10-12 Bruno Haible > > > > mountlist: Improve support for Solaris in 64-bit mode. > > Reported by David Wood in > > . > > * m4/ls-mntd-fs.m4 (gl_LIST_MOUNTED_FILE_SYSTEMS): On Solaris 8 or > > newer,