From 04b145d795ab6790e9636bbd9a8144a1793cb9c2 Mon Sep 17 00:00:00 2001 From: Rui Ueyama Date: Sat, 18 Nov 2023 17:01:40 +0900 Subject: [PATCH] Add comments and fix SHA256 digest --- dist.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/dist.sh b/dist.sh index a6305c7644..8cda906242 100755 --- a/dist.sh +++ b/dist.sh @@ -65,6 +65,8 @@ if [ "$GITHUB_REPOSITORY" = '' ]; then image=mold-builder-$arch docker_build="docker build --platform linux/$arch -t $image -" else + # If this script is running on GitHub Actions, we want to cache + # the created Docker image in GitHub's Docker repostiory. image=ghcr.io/$GITHUB_REPOSITORY/mold-builder-$arch docker_build="docker buildx build --platform linux/$arch -t $image --push --cache-to type=inline --cache-from type=registry,ref=ghcr.io/$GITHUB_REPOSITORY/mold-builder-$arch -" fi @@ -109,6 +111,10 @@ EOF ;; aarch64 | arm | ppc64le | s390x) # Debian 10 (Bullseye) released in July 2019 + # + # We don't want to build GCC for these targets with Qemu becuase + # that'd take extremely long time. Also I believe old build machines + # are usually x86-64. [ $arch = aarch64 ] && digest=d5ed76c5265576982e6599b6f12392290d9b52b315b19b28b640aaba6e8af002 [ $arch = arm ] && digest=bede2623dae269454c5b6dd4af15a10810a5f4ef75963d4eb6531628f98bd633 [ $arch = ppc64le ] && digest=255f385e735469493b3465befad59a16f9d46f41d0b50e4fa6d5928c5ee7702a @@ -129,7 +135,7 @@ EOF riscv64) # snapshot.debian.org is not available for RISC-V binaries cat <