diff options
| author |   Matti Picus <matti.picus@gmail.com> | 2023-11-17 07:51:41 +0200 |
|---|---|---|
| committer | Matti Picus <matti.picus@gmail.com> | 2023-11-17 07:51:41 +0200 |
| commit | a761923d73c721ba1f665ade4823f466476d8f15 (patch) | |
| tree | cacb830d876879098dc0a2900d8e1c21d515c654 /lib_pypy | |
| parent | add probably too much jit.dont_look_inside for type creation (diff) | |
| parent | allow curl to follow redirects (diff) | |
| download | pypy-a761923d73c721ba1f665ade4823f466476d8f15.tar.gz pypy-a761923d73c721ba1f665ade4823f466476d8f15.tar.bz2 pypy-a761923d73c721ba1f665ade4823f466476d8f15.zip | |
merge default
Diffstat (limited to 'lib_pypy')
| -rw-r--r-- | lib_pypy/pypy_tools/build_cffi_imports.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib_pypy/pypy_tools/build_cffi_imports.py b/lib_pypy/pypy_tools/build_cffi_imports.py index 27408d356c..bd5055faad 100644 --- a/lib_pypy/pypy_tools/build_cffi_imports.py +++ b/lib_pypy/pypy_tools/build_cffi_imports.py @@ -127,7 +127,7 @@ def _build_dependency(name, patches=[]): # On one of the buildbots, wget is broken if os.environ.get("USE_CURL", False): print('fetching archive via curl', url, file=sys.stderr) - status, stdout, stderr = run_subprocess('curl', ['-sSo', archive, url]) + status, stdout, stderr = run_subprocess('curl', ['-sSLo', archive, url]) else: print('fetching archive via wget', url, file=sys.stderr) status, stdout, stderr = run_subprocess('wget', ['-O', archive, url]) |