summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZheng Bao <fishbaozi@gmail.com>2012-09-28 20:13:19 +0800
committerPatrick Georgi <patrick@georgi-clan.de>2012-10-04 11:02:02 +0200
commit684b8ab309d26d90aa161c43f55e331b9788fdb2 (patch)
treeb980a255237d550eafc8c45e74357b9b460c1adb
parent70c660fd1473b8c6ca7b71276b9552ee2205c99a (diff)
downloadcoreboot-684b8ab309d26d90aa161c43f55e331b9788fdb2.tar.xz
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>
-rwxr-xr-xutil/lint/lint-stable-002-build-dir-handling5
1 files 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