From f9ccdf99e560bae70d3a13325cec9dc0e3cc45b0 Mon Sep 17 00:00:00 2001 From: Vedang Manerikar Date: Fri, 20 May 2022 18:20:40 -0400 Subject: Add a Makefile target to clean docker containers No point leaving dead containers lying around. Relates to: #98 --- server/test/Makefile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/server/test/Makefile b/server/test/Makefile index af456be..5aafa40 100644 --- a/server/test/Makefile +++ b/server/test/Makefile @@ -41,7 +41,13 @@ docker/test: docker/build $(patsubst %, docker/%, $(DOCKER_OS)) # Build all Dockerfiles docker/build: $(patsubst %, docker/.%.build, $(DOCKER_OS)) -clean: +docker/.%.clean: + @echo Cleaning target $* + podman container rm epdfinfo-$* || exit 0 + +docker/clean: $(patsubst %, docker/.%.clean, $(DOCKER_OS)) + +clean: docker/clean rm -f -- docker/.[^.]*.build rm -f -- docker/*.Dockerfile -- cgit v1.0