On 2026-02-05 15:08, Richard Biener wrote:
On Thu, 5 Feb 2026, Torbjörn SVENSSON wrote:
Ok for trunk?
OK. It's probably most important for the download of the checksum
file, but not sure if we care (for speed?) for the bulk download
of the tarballs.
Nothing of major importance. In my case, I have to use proxy to
access the internet and thus, I had set HTTPS_PROXY, but not
HTTP_PROXY and the download failed. I then changed to
HTTP_PROXY, and it failed again since there is a redirect from
http to https, thus going straight for https is actually an
improvement performance wise.
For the checksums, it's safe regardless since they are included in
the git tree and not downloaded over the network when fetching the
prerequisites.
Pushed as r16-7337-g638fe9a49a2874.
Kind regards,
Torbjörn
Richard.
--
contrib/ChangeLog:
* download_prerequisites: Switch gcc.gnu.org link to https
---
contrib/download_prerequisites | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/contrib/download_prerequisites b/contrib/download_prerequisites
index b677e841fda..de3c8f0582d 100755
--- a/contrib/download_prerequisites
+++ b/contrib/download_prerequisites
@@ -33,7 +33,7 @@ mpc='mpc-1.3.1.tar.gz'
isl='isl-0.24.tar.bz2'
gettext='gettext-0.22.tar.gz'
-base_url='http://gcc.gnu.org/pub/gcc/infrastructure/'
+base_url='https://gcc.gnu.org/pub/gcc/infrastructure/'
echo_archives() {
echo "${gettext}"
