From aa664a5822e3210e00c7220a1b94a5e5bea04a09 Mon Sep 17 00:00:00 2001 From: Sarah Vaupel Date: Tue, 25 Mar 2025 17:45:54 +0100 Subject: [PATCH] build(Makefile): hard-kill containers before cleaning images --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 2a4856359..fbc403b6b 100644 --- a/Makefile +++ b/Makefile @@ -30,6 +30,7 @@ ifeq ("$(CLEAN_DEPENDENCIES)", "true") @echo "Cleaned $* dependencies." endif ifeq ("$(CLEAN_IMAGES)", "true") + $(MAKE) kill-$* docker compose rm --force --volumes docker compose down --rmi 'all' --volumes @echo "Cleaned $* image." @@ -80,7 +81,7 @@ shell-%: docker compose run --build --no-deps $* bash .PHONY: ghci ghci: - docker compose run --build --no-deps backend stack ghci --main-is=$(SRC) + docker compose run --build --no-deps backend stack ghci $(SRC) .PHONY: stop # HELP: stop all services