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 |