the following patch was just integrated into master:
commit f2bb3c7142612b41919f999974d1352309bcf8e5
Author: Zheng Bao <[email protected]>
Date: Fri Sep 28 20:13:19 2012 +0800
lint: Stop searching when one GNUmake is found
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 <[email protected]>
Signed-off-by: Zheng Bao <[email protected]>
Reviewed-By: Patrick Georgi <[email protected]> at Thu Oct 4 11:02:02
2012, giving +2
See http://review.coreboot.org/1550 for details.
-gerrit
--
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot
