From 0ee42bac29600c2e098dfd33441b7933749d2feb Mon Sep 17 00:00:00 2001
From: Sarah Vaupel <sarah.vaupel@uniworx.de>
Date: Mon, 31 Mar 2025 12:37:57 +0200
Subject: [PATCH] build(Makefile): remove volumes on stop

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 9b28bf181..4b8936046 100644
--- a/Makefile
+++ b/Makefile
@@ -91,11 +91,11 @@ ghci: shell-backend ;
 .PHONY: stop
 # HELP: stop all services
 stop:
-	docker compose down
+	docker compose down --volumes
 .PHONY: stop-%
 # HELP(stop-$SERVICE): stop a given service
 stop-%:
-	docker compose down $*
+	docker compose down --volumes $*
 .PHONY: kill-%
 # HELP(kill-$SERVICE): kill a given service the hard way. Use this if the servive does not respond to stop.
 kill-%: