changeset 30307:2f50556788ac

GitHub-CI: Use gnulib mirror on GitHub when bootstrapping. * .github/workflows/make.yaml: Use gnulib mirror on GitHub when bootstrapping on all platforms.
author Markus Mützel <markus.muetzel@gmx.de>
date Sat, 20 Nov 2021 15:59:27 +0100
parents 8b993c46fc1c
children a9de8cde1b22
files .github/workflows/make.yaml
diffstat 1 files changed, 3 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/.github/workflows/make.yaml	Sat Nov 20 15:26:17 2021 +0100
+++ b/.github/workflows/make.yaml	Sat Nov 20 15:59:27 2021 +0100
@@ -83,7 +83,7 @@
           ccache -s
 
       - name: bootstrap
-        run: ./bootstrap
+        run: GNULIB_URL=https://github.com/coreutils/gnulib.git ./bootstrap
 
       - name: configure
         timeout-minutes: 30
@@ -215,7 +215,7 @@
       - name: bootstrap
         run: |
           export PATH="$MY_PATH:$PATH"
-          ./bootstrap
+          GNULIB_URL=https://github.com/coreutils/gnulib.git ./bootstrap
 
       - name: configure
         timeout-minutes: 30
@@ -416,8 +416,7 @@
           echo 'export PATH="$MINGW_PREFIX/lib/ccache/bin:$PATH"' >> ~/.bash_profile
 
       - name: bootstrap
-        run: |
-          ./bootstrap
+        run: GNULIB_URL=https://github.com/coreutils/gnulib.git ./bootstrap
 
       - name: configure
         # configure sometimes hangs while compiling 32bit Fortran.