Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I very quickly adopted a habit of typing gmake for downloaded sources. Can’t see any pain at all and why it is relevant. Make(1) is basically gnu make today and when it’s not, you’re aware of its alias.

A suggestion for naming makefiles GNUmakefile is a funny try to borderline, but it is late for around two decades and cannot have effect beyond boring. In technical terms, it is easier to rename BSDmakefiles rather than millions of projects out there.



> Make(1) is basically gnu make today

It is not on a number of platforms that enjoy popular usage.

> In technical terms, it is easier to rename BSDmakefiles rather than millions of projects out there.

GNU is not the standard. Generally it's a superset of it; if so, then it should have the onus of the nonstandard name.


We have three choices with different success chances:

- Rename non-gnu makefiles of a specific platform (tedious but possible),

- Rename gnu makefiles in the entire internets (0% chance),

- Continue insisting to no avail (requires no effort).

>if so, then it should

A wonderful world where such implications always work, but not where we live.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: