aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorRoman Bolshakov <r.bolshakov@yadro.com>2020-08-25 23:27:55 +0300
committerLaurent Vivier <laurent@vivier.eu>2020-12-13 23:56:16 +0100
commit8e2c76bd3ff2e81738195bdcc6bfdb8b2ddc7649 (patch)
tree539029df7babf041ea43b2a021cede5eca664777 /configure
parentf12985f14a05181b34b3cfb935b4136a05726423 (diff)
configure: Test if $make actually exists
configure doesn't detect if $make is installed on the build host. This is also helpful for hosts where an alias for make is used, i.e. configure would fail if gmake is not present on macOS. Reviewed-by: Daniel P. Berrangé <berrange@redhat.com> Signed-off-by: Roman Bolshakov <r.bolshakov@yadro.com> Reviewed-by: Thomas Huth <thuth@redhat.com> Message-Id: <20200825202755.50626-5-r.bolshakov@yadro.com> Signed-off-by: Laurent Vivier <laurent@vivier.eu>
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 4 insertions, 0 deletions
diff --git a/configure b/configure
index 3f823ed163..c20ed86ff3 100755
--- a/configure
+++ b/configure
@@ -1875,6 +1875,10 @@ if test -z "$python"
then
error_exit "Python not found. Use --python=/path/to/python"
fi
+if ! has "$make"
+then
+ error_exit "GNU make ($make) not found"
+fi
# Note that if the Python conditional here evaluates True we will exit
# with status 1 which is a shell 'false' value.