summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--project.py9
1 files changed, 8 insertions, 1 deletions
diff --git a/project.py b/project.py
index 892b5f5b..bf37a0da 100644
--- a/project.py
+++ b/project.py
@@ -2875,7 +2875,14 @@ class Project:
2875 2875
2876 # We do not use curl's --retry option since it generally doesn't 2876 # We do not use curl's --retry option since it generally doesn't
2877 # actually retry anything; code 18 for example, it will not retry on. 2877 # actually retry anything; code 18 for example, it will not retry on.
2878 cmd = ["curl", "--fail", "--output", tmpPath, "--netrc", "--location"] 2878 cmd = [
2879 "curl",
2880 "--fail",
2881 "--output",
2882 tmpPath,
2883 "--netrc-optional",
2884 "--location",
2885 ]
2879 if quiet: 2886 if quiet:
2880 cmd += ["--silent", "--show-error"] 2887 cmd += ["--silent", "--show-error"]
2881 if os.path.exists(tmpPath): 2888 if os.path.exists(tmpPath):