Improve curl with retry on error

Improve curl with retry on error

Signed-off-by: Bensuperpc <bensuperpc@gmail.com>
This commit is contained in:
2021-08-06 01:17:47 +02:00
parent 77da067e8e
commit 501b1b84dc
7 changed files with 59 additions and 9 deletions

View File

@ -27,7 +27,13 @@ done
# Download
REV=v1.10.2
curl -# -o ninja.tar.gz -LO https://github.com/ninja-build/ninja/archive/$REV.tar.gz
curl --connect-timeout 30 \
--max-time 10 \
--retry 5 \
--retry-delay 10 \
--retry-max-time 30 \
-# -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