From 684b8ab309d26d90aa161c43f55e331b9788fdb2 Mon Sep 17 00:00:00 2001 From: Zheng Bao Date: Fri, 28 Sep 2012 20:13:19 +0800 Subject: 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 Signed-off-by: Zheng Bao Reviewed-on: http://review.coreboot.org/1550 Tested-by: build bot (Jenkins) Reviewed-by: Patrick Georgi --- 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 6ab1bb9550..93509077b3 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 -- cgit v1.2.3