Is there a known way to make Linux's
make reject unintended use of GNU‑Make specific extensions in Makefile when editing or using other's Makefile in Linux? I mean, restricting GNU‑Make to behave as the
make specified in POSIX and reject any GNU‑Make specific extensions?
.POSIX special target is not enough, according to “4.9 Special Built-in Target Names (gnu.org)”. The man page does not mention a command line option for this.
make utility may be an option.
— Update 2018-10-19 —
I still have not found a direct answer to my question, but here is at least a document about this issue, a document which did not exist at the time I had this question: A Tutorial on Portable Makefiles (nullprogram.com).