Set the proper build generator for make

This commit is contained in:
Romain Guy
2018-08-03 19:29:50 -07:00
parent 24d990ba0f
commit d68e620eae

View File

@@ -295,10 +295,11 @@ function validate_build_command {
# Make sure Ninja is installed
if [ "$BUILD_COMMAND" == "ninja" ]; then
ninja_binary=`which ninja2`
ninja_binary=`which ninja`
if [ ! "$ninja_binary" ]; then
echo "Warning: could not find ninja, using make instead"
BUILD_COMMAND="make"
BUILD_GENERATOR="Unix Makefiles"
BUILD_COMMAND="make"
fi
fi
# Make sure Make is installed