fix: update script that fixes the CentOS build

igraph · Jul 8, 2024 · 2c2be04 · 2c2be04
1 parent fa3bde6
commit 2c2be04
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/fixup_centos_7_in_ci.sh b/scripts/fixup_centos_7_in_ci.sh
@@ -4,3 +4,5 @@
 
 sed -i s/mirror.centos.org/vault.centos.org/g /etc/yum.repos.d/*.repo
 sed -i s/^#.*baseurl=http/baseurl=http/g /etc/yum.repos.d/*.repo
+sed -i s/^mirrorlist=http/#mirrorlist=http/g /etc/yum.repos.d/*.repo
+