From 490ae80a76425de77a47b6e2be4f749e068fc303 Mon Sep 17 00:00:00 2001
From: eine <6628437+eine@users.noreply.github.com>
Date: Sun, 12 Jan 2020 08:10:04 +0000
Subject: ci: the URL to retrieve GCC sources has changed (#1084)

---
 dist/ci-run.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/dist/ci-run.sh b/dist/ci-run.sh
index 722b0d1c4..da92c743a 100755
--- a/dist/ci-run.sh
+++ b/dist/ci-run.sh
@@ -260,9 +260,10 @@ build () {
   case "$BACK" in
       gcc*)
           gstart "[GHDL - build] Get gcc sources"
-          echo "https://github.com/gcc-mirror/gcc/archive/`echo ${BACK} | sed -e 's/\./_/g'`-release.tar.gz"
+          gccURL="https://codeload.github.com/gcc-mirror/gcc/tar.gz/releases/${BACK}"
+          echo "$gccURL"
           mkdir gcc-srcs
-          curl -L "https://github.com/gcc-mirror/gcc/archive/`echo ${BACK} | sed -e 's/\./_/g'`-release.tar.gz" | tar -xz -C gcc-srcs --strip-components=1
+          curl -L "$gccURL" | tar -xz -C gcc-srcs --strip-components=1
           cd gcc-srcs
           sed -i.bak s/ftp:/http:/g ./contrib/download_prerequisites
           ./contrib/download_prerequisites
-- 
cgit v1.2.3