diff options
| -rw-r--r-- | project.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/project.py b/project.py index 892b5f5bb..bf37a0da5 100644 --- a/project.py +++ b/project.py @@ -2875,7 +2875,14 @@ class Project: # We do not use curl's --retry option since it generally doesn't # actually retry anything; code 18 for example, it will not retry on. - cmd = ["curl", "--fail", "--output", tmpPath, "--netrc", "--location"] + cmd = [ + "curl", + "--fail", + "--output", + tmpPath, + "--netrc-optional", + "--location", + ] if quiet: cmd += ["--silent", "--show-error"] if os.path.exists(tmpPath): |