Merge pull request #13655 from dotnet-maestro-bot/merge/release/6.0.2xx-to-release/6.0.3xx

[automated] Merge branch 'release/6.0.2xx' => 'release/6.0.3xx'
This commit is contained in:
v-wuzhai 2022-04-19 19:36:48 -07:00 committed by GitHub
commit 69fe928672
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -79,13 +79,13 @@ while read -r line; do
if [[ $line == *"Private.SourceBuilt.Artifacts"* ]]; then
if [ "$downloadArtifacts" == "true" ]; then
echo " Downloading source-built artifacts from $line..."
(cd $SCRIPT_ROOT/packages/archive/ && curl -O $line)
(cd $SCRIPT_ROOT/packages/archive/ && curl --retry 5 -O $line)
fi
fi
if [[ $line == *"Private.SourceBuilt.Prebuilts"* ]]; then
if [ "$downloadPrebuilts" == "true" ]; then
echo " Downloading source-built prebuilts from $line..."
(cd $SCRIPT_ROOT/packages/archive/ && curl -O $line)
(cd $SCRIPT_ROOT/packages/archive/ && curl --retry 5 -O $line)
fi
fi
done < $SCRIPT_ROOT/packages/archive/archiveArtifacts.txt