File tree 1 file changed +4
-1
lines changed
1 file changed +4
-1
lines changed Original file line number Diff line number Diff line change @@ -33,6 +33,9 @@ realpath() {
33
33
SCRIPT_DIR=" $( realpath " $( dirname " ${BASH_SOURCE[0]} " ) " ) "
34
34
PROJECT_ROOT=" $( cd " $SCRIPT_DIR " && realpath " $( git rev-parse --show-toplevel) " ) "
35
35
36
+ # Allow specifying/overriding make command via environment
37
+ MAKECMD? =make
38
+
36
39
# Allow specifying/overriding GETOPT via environment
37
40
GETOPT? =getopt
38
41
@@ -173,7 +176,7 @@ if [[ "${CODER_LIBSH_NO_CHECK_DEPENDENCIES:-}" != *t* ]]; then
173
176
# We have to disable pipefail temporarily to avoid ERRPIPE errors when
174
177
# piping into `head -n1`.
175
178
set +o pipefail
176
- make_version=" $( make --version 2> /dev/null | head -n1 | grep -oE ' ([[:digit:]]+\.){1,2}[[:digit:]]+' ) "
179
+ make_version=" $( $( MAKECMD ) --version 2> /dev/null | head -n1 | grep -oE ' ([[:digit:]]+\.){1,2}[[:digit:]]+' ) "
177
180
set -o pipefail
178
181
if [[ ${make_version// .*/ } -lt 4 ]]; then
179
182
libsh_bad_dependencies=1
You can’t perform that action at this time.
0 commit comments