Allow setting custom make and cmake in build/ci_build.sh

diff --git a/build/ci_build.sh b/build/ci_build.sh
index 96f3aeaecb65ebf5139e84d4e3cca8e8066f9de8..65e5ceb54478549696c17287357318a78da7909b 100755 (executable)
--- a/build/ci_build.sh
+++ b/build/ci_build.sh
@@ -12,6 +12,8 @@
 
 ACTIONS=
 BUILD_SYSTEM="${BUILD_SYSTEM:-autotools}"
+MAKE="${MAKE:-make}"
+CMAKE="${CMAKE:-cmake}"
 CURDIR=`pwd`
 SRCDIR="${SRCDIR:-`pwd`}"
 RET=0
@@ -79,21 +81,21 @@ for action in ${ACTIONS}; do
                configure)
                        case "${BUILD_SYSTEM}" in
                                autotools) "${SRCDIR}/configure" ${CONFIGURE_ARGS} ;;
-                               cmake) cmake ${CONFIGURE_ARGS} "${SRCDIR}" ;;
+                               cmake) ${CMAKE} ${CONFIGURE_ARGS} "${SRCDIR}" ;;
                        esac
                        RET="$?"
                ;;
                build)
-                       make ${MAKE_ARGS}
+                       ${MAKE} ${MAKE_ARGS}
                        RET="$?"
                ;;
                test)
                        case "${BUILD_SYSTEM}" in
                                autotools)
-                                       make ${MAKE_ARGS} check LOG_DRIVER="${SRCDIR}/build/ci_test_driver"
+                                       ${MAKE} ${MAKE_ARGS} check LOG_DRIVER="${SRCDIR}/build/ci_test_driver"
                                        ;;
                                cmake)
-                                       make ${MAKE_ARGS} test
+                                       ${MAKE} ${MAKE_ARGS} test
                                        ;;
                        esac
                        RET="$?"