summaryrefslogtreecommitdiff
path: root/util
diff options
context:
space:
mode:
Diffstat (limited to 'util')
-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