X-Git-Url: https://git.arvados.org/arvados.git/blobdiff_plain/0bd1c28bed9a0756c61037947d5a9dccd5066f00..35bee4f8071099b57925a49fc56554ceda900c81:/docker/build_tools/Makefile diff --git a/docker/build_tools/Makefile b/docker/build_tools/Makefile index 7f3ad69139..f3dd90c6c7 100644 --- a/docker/build_tools/Makefile +++ b/docker/build_tools/Makefile @@ -7,7 +7,6 @@ endif all: skydns-image skydock-image api-image compute-image doc-image workbench-image keep-image sso-image shell-image IMAGE_FILES := $(shell ls *-image 2>/dev/null |grep -v -E 'debian-arvados-image|skydns-image|skydock-image') -GENERATED_FILES := $(shell ls */generated/* 2>/dev/null) GENERATED_DIRS := $(shell ls */generated 2>/dev/null) # `make clean' removes the files generated in the build directory @@ -15,8 +14,8 @@ GENERATED_DIRS := $(shell ls */generated 2>/dev/null) clean: @echo "make clean" -@rm -rf build - +@[ "$(IMAGE_FILES)$(GENERATED_FILES)" = "" ] || rm $(IMAGE_FILES) $(GENERATED_FILES) 2>/dev/null - +@[ "$(GENERATED_DIRS)" = "" ] || rmdir */generated 2>/dev/null + +@[ "$(IMAGE_FILES)" = "" ] || rm -f $(IMAGE_FILES) 2>/dev/null + +@[ "$(GENERATED_DIRS)" = "" ] || rm -rf */generated 2>/dev/null DEBIAN_IMAGE := $(shell $(DOCKER) images -q arvados/debian |head -n1)