diff options
| author | Zheng Bao <fishbaozi@gmail.com> | 2012-09-28 20:13:19 +0800 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2012-10-04 11:02:02 +0200 |
| commit | 684b8ab309d26d90aa161c43f55e331b9788fdb2 (patch) | |
| tree | b980a255237d550eafc8c45e74357b9b460c1adb /src/mainboard | |
| parent | 70c660fd1473b8c6ca7b71276b9552ee2205c99a (diff) | |
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 <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>
Diffstat (limited to 'src/mainboard')
0 files changed, 0 insertions, 0 deletions