diff options
| -rwxr-xr-x | util/lint/lint-stable-002-build-dir-handling | 5 |
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 |