| 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 |