| Index: .travis/prepare-ninja.sh | 
| diff --git a/.travis/prepare-ninja.sh b/.travis/prepare-ninja.sh | 
| new file mode 100644 | 
| index 0000000000000000000000000000000000000000..e3199a791491191fd000e08fe5a7b845d18fdf52 | 
| --- /dev/null | 
| +++ b/.travis/prepare-ninja.sh | 
| @@ -0,0 +1,12 @@ | 
| +#!/usr/bin/env bash | 
| + | 
| +set -x | 
| +set -e | 
| + | 
| +if [[ "$TRAVIS_OS_NAME" = "osx" ]]; then | 
| +brew update; brew install ninja; | 
| +else | 
| +wget https://github.com/ninja-build/ninja/releases/download/v1.8.2/ninja-linux.zip -O third_party/ninja-build.zip | 
| +mkdir third_party/ninja | 
| +unzip third_party/ninja-build.zip -d third_party/ninja | 
| +fi |