diff --git a/Makefile b/Makefile
index 51a135b62..6fe902b95 100644
--- a/Makefile
+++ b/Makefile
@@ -352,7 +352,8 @@ stop:
 	rm -rf develop
 .PHONY: stop-%
 # HELP(stop-{database,memcached,minio,backend,frontend,hoogle}): stop all currently running develop instances of a given type
-stop-%: --stop-%
+stop-%:
+	$(SET_DEVELOP)
 	rm -rf $(DEVELOP)/$*
 stop-container-by-file:
 	rm $(CONTAINER_FILE)