qiurui
/
asterinas
mirror of https://github.com/asterinas/asterinas.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add `gnulib` mirror redirect to improve GRUB build reliability

This commit is contained in:
Tao Su 2025-11-24 03:15:52 +00:00 committed by Tate, Hongliang Tian
parent a616682fe3
commit 590be640d0
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
osdk/tools/docker/Dockerfile
View File

@ -105,6 +105,10 @@ RUN wget -O unifont.pcf.gz https://ftp.gnu.org/gnu/unifont/unifont-15.1.04/unifo
&& rm unifont.pcf.gz
WORKDIR /root/grub
# Use GitHub mirror for `gnulib` to improve connection stability because `git.savannah.gnu.org`
# repository may have unstable connections.
RUN git config --global url."https://github.com/coreutils/gnulib".insteadOf "https://git.savannah.gnu.org/git/gnulib"
RUN echo depends bli part_gpt > grub-core/extra_deps.lst \
&& ./bootstrap \
&& ./configure \