0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-12-01 09:32:32 +01:00

SERVER-22559 add --retry to curl

This commit is contained in:
Robert Guo 2016-02-12 12:50:52 -05:00
parent d33ad75fcb
commit dfaa843d7e

View File

@ -305,7 +305,7 @@ functions:
git clone git@github.com:10gen/jstestfuzz.git
if [ "Windows_NT" != "$OS" ]; then
curl --silent --max-time 600 http://boxes.10gen.com/build/node-v0.12.7-linux-x64.tar.gz --output node.tar.gz
curl --verbose --max-time 600 --retry 10 --retry-max-time 900 http://boxes.10gen.com/build/node-v0.12.7-linux-x64.tar.gz --output node.tar.gz
${decompress} node.tar.gz > /dev/null
fi