release.sh: docker build: use --no-cache

This avoids issues with stale caches. We rather don’t use caching at all:
release.sh is only run once per release.
This commit is contained in:
Michael Stapelberg 2020-04-22 09:32:38 +02:00
parent f5ab2c919f
commit c4ffc0f5e1
1 changed files with 1 additions and 1 deletions

View File

@ -128,7 +128,7 @@ RUN dpkg-buildpackage -S -sa -j8
EOT EOT
CONTAINER_NAME=$(echo "i3-${TMPDIR}" | sed 's,/,,g') CONTAINER_NAME=$(echo "i3-${TMPDIR}" | sed 's,/,,g')
docker build -t i3 . docker build --no-cache -t i3 .
for file in $(docker run --name "${CONTAINER_NAME}" i3 /bin/sh -c "ls /usr/src/i3*_${RELEASE_VERSION}*") for file in $(docker run --name "${CONTAINER_NAME}" i3 /bin/sh -c "ls /usr/src/i3*_${RELEASE_VERSION}*")
do do
docker cp "${CONTAINER_NAME}:${file}" ${TMPDIR}/debian/ docker cp "${CONTAINER_NAME}:${file}" ${TMPDIR}/debian/