diff options
Diffstat (limited to 'ci/docker-build.sh')
| -rwxr-xr-x | ci/docker-build.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/ci/docker-build.sh b/ci/docker-build.sh index 64d7a4d..80efcd9 100755 --- a/ci/docker-build.sh +++ b/ci/docker-build.sh @@ -15,10 +15,12 @@ docker stop ${container} || true docker container prune -f docker rmi --force ${container} -DOCKER_BUILDKIT=0 docker compose --ansi "never" build \ +DOCKER_BUILDKIT=0 docker compose \ + --progress "plain" \ + --ansi "never" \ + build \ --no-cache \ - --pull \ - --progress "plain" + --pull popd 2>/dev/null rm -rf tmp |