684b8ab309
After make 3.81 is copied to /usr/local/bin, the old make 3.80, which doesn't work for coreboot, will replace $MAKE with gnumake. That is not we want. Change-Id: I87fbe95c70228a22f2c233ff071df29639b63726 Signed-off-by: Zheng Bao <zheng.bao@amd.com> Signed-off-by: Zheng Bao <fishbaozi@gmail.com> Reviewed-on: http://review.coreboot.org/1550 Tested-by: build bot (Jenkins) Reviewed-by: Patrick Georgi <patrick@georgi-clan.de> |
||
---|---|---|
.. | ||
lint-000-license-headers | ||
lint-001-no-global-config-in-romstage | ||
lint-stable-002-build-dir-handling | ||
lint-stable-003-whitespace | ||
lint-stable-004-style-labels | ||
remccoms3.sed |