| Left: | ||
| Right: |
| OLD | NEW |
|---|---|
| (Empty) | |
| 1 #!/usr/bin/env bash | |
| 2 | |
| 3 set -x | |
| 4 set -e | |
| 5 | |
| 6 if [[ "$TRAVIS_OS_NAME" = "osx" ]]; then | |
| 7 brew update; brew install ninja; | |
| 8 else | |
| 9 wget https://github.com/ninja-build/ninja/releases/download/v1.8.2/ninja-linux.z ip -O third_party/ninja-build.zip | |
|
sergei
2018/01/11 22:04:09
It's again #6200, the version which is installed v
| |
| 10 mkdir third_party/ninja | |
| 11 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
| |
| 12 fi | |
| OLD | NEW |