chore: update Ninja 1.7.2 → 1.10.2

changelog: https://github.com/ninja-build/ninja/compare/v1.7.2...v1.10.2
This commit is contained in:
mayeut 2021-04-07 17:45:50 +02:00
parent aa41e3e8a2
commit aa2a06e76b
No known key found for this signature in database
GPG Key ID: 8B03CED67D3ABFBA

View File

@ -26,7 +26,7 @@ while [ $# -gt 0 ]; do
done
# 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
mkdir ninja
tar -xzvf ./ninja.tar.gz --strip-components=1 -C ./ninja