From d68e620eae6891b8687accffb8d0305658d761e7 Mon Sep 17 00:00:00 2001
From: Romain Guy <romainguy@curious-creature.com>
Date: Fri, 3 Aug 2018 19:29:50 -0700
Subject: [PATCH] Set the proper build generator for make

---
 build.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index 01e0c14c5e..99c8248491 100755
--- a/build.sh
+++ b/build.sh
@@ -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