Fix the ninja build for FC23. (#6861)

Fedora installs ninja under the name `ninja-build` rather than `ninja`.

1 files changed, 8 insertions, 1 deletions

diff --git a/build.sh b/build.sh
index 6a0a5b0f3a..011aee7b94 100755
--- a/build.sh
+++ b/build.sh
@@ -153,7 +153,14 @@ build_coreclr()
     if [ $__UseNinja == 1 ]; then
         generator="ninja"
         buildFile="build.ninja"
-        buildTool="ninja"
+        if which ninja >/dev/null 2>&1; then
+            buildTool="ninja"
+        elif which ninja-build >/dev/null 2>&1; then
+            buildTool="ninja-build"
+        else
+           echo "Unable to locate ninja!" 1>&2
+           exit 1
+        fi
     fi
 
     if [ $__SkipConfigure == 0 ]; then