13 Jan
2020
13 Jan
'20
10:48 a.m.
Daniel P. Berrangé berrange@redhat.com writes:
So I'd flip the question. Is there any compelling benefit to supporting non-GNU make ?
Not that I'm aware of, but I'd like to hear any other opinions before proceeding. It was a lot more common with proprietary unices with vendor tools back when Nettle was started.
IOW, I'd encourage mandating GNU make for any project.
I'd agree. Except for GNU make itself, and its required dependencies, if any...
Regards, /Niels
--
Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677.
Internet email is subject to wholesale government surveillance.