diff options
author | Roman Bolshakov <r.bolshakov@yadro.com> | 2020-08-25 23:27:55 +0300 |
---|---|---|
committer | Laurent Vivier <laurent@vivier.eu> | 2020-12-13 23:56:16 +0100 |
commit | 8e2c76bd3ff2e81738195bdcc6bfdb8b2ddc7649 (patch) | |
tree | 539029df7babf041ea43b2a021cede5eca664777 /configure | |
parent | f12985f14a05181b34b3cfb935b4136a05726423 (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-x | configure | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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. |