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-%: