diff options
| author | eine <6628437+eine@users.noreply.github.com> | 2020-01-12 08:10:04 +0000 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-01-12 09:10:04 +0100 |
| commit | 490ae80a76425de77a47b6e2be4f749e068fc303 (patch) | |
| tree | 1332cf033368525be927834e910bc6c8cac0f386 | |
| parent | 3b0b2e79c310a0fff191036b3be5e15f9ae2e714 (diff) | |
| download | ghdl-490ae80a76425de77a47b6e2be4f749e068fc303.tar.gz ghdl-490ae80a76425de77a47b6e2be4f749e068fc303.tar.bz2 ghdl-490ae80a76425de77a47b6e2be4f749e068fc303.zip | |
ci: the URL to retrieve GCC sources has changed (#1084)
| -rwxr-xr-x | dist/ci-run.sh | 5 |
1 files 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 |