From 01c502a4c17fdb8280ccc727ba2a9d74fb9f134b Mon Sep 17 00:00:00 2001 From: Javier Cicchelli Date: Fri, 28 Apr 2023 16:14:02 +0200 Subject: [PATCH] Improved the "build" target in the Makefile file to make the cleaning of the docker image optional. --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 05465f7..8f829e1 100644 --- a/Makefile +++ b/Makefile @@ -12,6 +12,7 @@ override docker?=${CLI_USE_DOCKER} override tag?=${DOCKER_IMAGE_TAG} override platform?=${DOCKER_IMAGE_PLATFORM} override config?=${SWIFT_BUILD_CONFIGURATION} +override clean?=${DOCKER_IMAGE_CLEAN} # --- DEPENDENCIES --- @@ -32,7 +33,9 @@ ifeq ($(docker),yes) --platform ${platform} \ ${DOCKER_IMAGE_NAME}:${tag} \ swift build --configuration ${config} - @docker rmi ${DOCKER_IMAGE_NAME}:${tag} + ifeq ($(clean),yes) + @docker rmi ${DOCKER_IMAGE_NAME}:${tag} + endif else @swift build --configuration ${config} endif