[coreboot] New patch to review for coreboot: f2bb3c7 lint: Stop searching when one GNUmake is found

[Zheng Bao (zheng.bao@amd.com)]

Zheng Bao (zheng.bao at amd.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/1550

-gerrit

commit f2bb3c7142612b41919f999974d1352309bcf8e5
Author: Zheng Bao <fishbaozi at gmail.com>
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 <zheng.bao at amd.com>
    Signed-off-by: Zheng Bao <fishbaozi at gmail.com>
---
 util/lint/lint-stable-002-build-dir-handling | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/util/lint/lint-stable-002-build-dir-handling b/util/lint/lint-stable-002-build-dir-handling
index 6ab1bb9..9350907 100755
--- a/util/lint/lint-stable-002-build-dir-handling
+++ b/util/lint/lint-stable-002-build-dir-handling
@@ -42,9 +42,10 @@ $MAKE CONFIG_USE_BLOBS=n CONFIG_CCACHE=n CONFIG_SCANBUILD_ENABLE=n NOMKDIR=1 \
 }
 
 # find GNU make
+MAKE=
 search_make make
-search_make gmake
-search_make gnumake
+[ -z $MAKE ] && search_make gmake
+[ -z $MAKE ] && search_make gnumake
 
 if [ "$MAKE" = "" ]; then
 	echo Could not identify GNU make