> If you really need some features only supported by GNU Make, why not
> rename this makefile to "GNUmakfile"?
... which, furthermore, ensures that - if the make-file is picked up by
some other make that thinks it knows what to do with a GNU make-file -
the reader is primed with the knowledge that this is indeed a GNU
make-file, not a make-file for some other make. Its compatibility magic
can then more confidently emulate GNU make, without heuristics to guess
which dialect to read.
Eddy.
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
