diff --git a/Makefile b/Makefile index b2577b6b4..650c737a8 100644 --- a/Makefile +++ b/Makefile @@ -140,7 +140,7 @@ docker_build: if [[ $$(uname) == "Linux" ]]; then \ BUILD_ARGS="--build-arg BUILD_UID=$$(id -u) --build-arg BUILD_GID=$$(id -g)"; \ fi; \ - docker build $${BUILD_ARGS:+$$BUILD_ARGS} \ + DOCKER_BUILDKIT=1 docker build $${BUILD_ARGS:+$$BUILD_ARGS} \ --pull -t $(DEV_DOCKER_IMG) -f $(DEV_DOCKERFILE) . .PHONY: docker_rebuild # Rebuild docker @@ -149,7 +149,7 @@ docker_rebuild: docker_clean_volumes if [[ $$(uname) == "Linux" ]]; then \ BUILD_ARGS="--build-arg BUILD_UID=$$(id -u) --build-arg BUILD_GID=$$(id -g)"; \ fi; \ - docker build $${BUILD_ARGS:+$$BUILD_ARGS} \ + DOCKER_BUILDKIT=1 docker build $${BUILD_ARGS:+$$BUILD_ARGS} \ --pull --no-cache -t $(DEV_DOCKER_IMG) -f $(DEV_DOCKERFILE) . .PHONY: docker_start # Launch docker