Merge pull request #3315 from jodh-intel/ci-use-mirror-for-gnu.org

CI: Switch to a mirror as gnu.org is down
This commit is contained in:
James O. D. Hunt 2021-12-20 11:53:14 +00:00 committed by GitHub
commit cd20bf95e9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -41,7 +41,8 @@ cflags="-O2"
# gperf_version=$(get_version "externals.gperf.version") # gperf_version=$(get_version "externals.gperf.version")
# gperf_url=$(get_version "externals.gperf.url") # gperf_url=$(get_version "externals.gperf.url")
gperf_version="3.1" gperf_version="3.1"
gperf_url="https://ftp.gnu.org/gnu/gperf" # XXX: gnu.org currently unavailable - see https://github.com/kata-containers/kata-containers/issues/3314
gperf_url="https://www.mirrorservice.org/sites/ftp.gnu.org/gnu/gperf"
gperf_tarball="gperf-${gperf_version}.tar.gz" gperf_tarball="gperf-${gperf_version}.tar.gz"
gperf_tarball_url="${gperf_url}/${gperf_tarball}" gperf_tarball_url="${gperf_url}/${gperf_tarball}"