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 |