diff options
| author | Vedang Manerikar <ved.manerikar@gmail.com> | 2022-05-20 18:20:40 -0400 |
|---|---|---|
| committer | Vedang Manerikar <ved.manerikar@gmail.com> | 2022-05-21 20:13:27 -0400 |
| commit | f9ccdf99e560bae70d3a13325cec9dc0e3cc45b0 (patch) | |
| tree | 1a58ec5dba9a9474cf7c0d081d2a2b13861b74a7 /server | |
| parent | 4be4df7cf79d96aba32c16d0a21426f89566c9b0 (diff) | |
Add a Makefile target to clean docker containers
No point leaving dead containers lying around.
Relates to: #98
Diffstat (limited to 'server')
| -rw-r--r-- | server/test/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
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 |