mirror of
https://github.com/mirror/make.git
synced 2026-08-25 19:33:28 +08:00
This allows you to write portable makefiles that set GNU make-specific command line options in the environment or makefile: add them to GNUMAKEFLAGS instead of MAKEFLAGS and they will be seen by GNU make but ignored by other implementations of make.