From 01fbb4a23bfbbbd8606a2068505546cae01a806c Mon Sep 17 00:00:00 2001 From: klzgrad Date: Sun, 28 Feb 2021 22:46:07 +0800 Subject: [PATCH] Update get-clang.sh --- src/get-clang.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/get-clang.sh b/src/get-clang.sh index c721dbf36b..2a19b13222 100755 --- a/src/get-clang.sh +++ b/src/get-clang.sh @@ -67,7 +67,7 @@ if [ "$PGO_NAME" ]; then profile=$(cat chrome/build/$PGO_NAME.pgo.txt) cd chrome/build/pgo_profiles if [ ! -f "$profile" ]; then - curl -LO "https://storage.googleapis.com/chromium-optimization-profiles/pgo_profiles/$profile" + curl --retry 3 -LO "https://storage.googleapis.com/chromium-optimization-profiles/pgo_profiles/$profile" fi cd ../../.. fi