| 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 |
|
sergei
2018/01/11 22:04:09
It's again #6200, the version which is installed v
|
| +mkdir third_party/ninja |
| +unzip third_party/ninja-build.zip -d third_party/ninja |
|
tlucas
2018/01/17 12:41:39
Please help me out here - can we be sure, that "un
sergei
2018/01/17 14:26:25
As far as I know travis-ci servers usually include
|
| +fi |