From 4bbab689cfc3b6081a1c2bc8169c01bcf1f825bb Mon Sep 17 00:00:00 2001
From: Sarah Vaupel <sarah.vaupel@uniworx.de>
Date: Wed, 30 Oct 2024 14:47:40 +0100
Subject: [PATCH] build(Makefile): switch-develop target for manual develop
 switching

---
 Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Makefile b/Makefile
index 34bf1cb43..89cda4a4e 100644
--- a/Makefile
+++ b/Makefile
@@ -404,6 +404,14 @@ new-develop:
 	$(NEW_DEVELOP)
 	mkdir -p $(DEVELOP)
 	$(MAKE) develop/.current
+.PHONY: switch-develop
+# HELP: switch current develop instance to DEVELOP=...
+switch-develop:
+	if ! [ -e develop/$(DEVELOP) ]; then \
+	  echo "Specified develop $(DEVELOP) does not exist! Not switching." ; \
+	  exit 1 ; \
+	fi ; \
+	echo "$(DEVELOP)" > develop/.current
 .PHONY: --develop
 --develop:
 	if ! [[ -e develop ]]; then \