On Fri Dec 20, 2024 at 12:11 PM CET, Alejandro Colomar wrote: > [...] As GNU make(1) maintainer says (IIRC), > don't write portable Makefiles, write GNU Makefiles, and port GNU > make(1).
That sounds like terrible advice. :)
On Fri Dec 20, 2024 at 12:11 PM CET, Alejandro Colomar wrote: > [...] As GNU make(1) maintainer says (IIRC), > don't write portable Makefiles, write GNU Makefiles, and port GNU > make(1).
That sounds like terrible advice. :)