Merge pull request #486 from mayeut/update-ninja

chore: update Ninja 1.7.2 → 1.10.2
This commit is contained in:
Jonas Vautherin 2021-04-08 13:07:00 +02:00 committed by GitHub
commit ac9fc619fa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -26,7 +26,7 @@ while [ $# -gt 0 ]; do
done done
# Download # Download
REV=v1.7.2 REV=v1.10.2
curl -# -o ninja.tar.gz -LO https://github.com/ninja-build/ninja/archive/$REV.tar.gz curl -# -o ninja.tar.gz -LO https://github.com/ninja-build/ninja/archive/$REV.tar.gz
mkdir ninja mkdir ninja
tar -xzvf ./ninja.tar.gz --strip-components=1 -C ./ninja tar -xzvf ./ninja.tar.gz --strip-components=1 -C ./ninja