scripts/docker-rebuild: use minimal image for arm

Building debian-buster-jenkins on the raspberry pis may take > 1h,
depending on what changed. It has a lot of things we don't use, so build
a minimal image on the rpis instead.

Closes: OS#5863
Depends: docker-playground I4fb4b48b233acaef815c4c27ec6f17f12cfe836b
Change-Id: I73e62fbbf93824c0d37963039de4e00f26a43cbe
This commit is contained in:
Oliver Smith 2023-01-23 13:44:28 +01:00
parent 113b295075
commit 9b1566dfb7
1 changed files with 8 additions and 5 deletions

View File

@ -2,11 +2,14 @@
set -e -x
cd "$(dirname "$0")/.."
. scripts/common.sh
docker_images_require \
"debian-buster-jenkins"
if [ "$(arch)" = "x86_64" ]; then
case "$(arch)" in
x86_64)
docker_images_require \
"debian-bullseye-erlang" \
"debian-bullseye-jenkins"
fi
"debian-bullseye-jenkins" \
"debian-buster-jenkins"
arm*)
docker_images_require \
"debian-buster-jenkins-arm"
esac