build(Makefile): Fix $(DEVELOP)

2024-10-20 02:42:14 +02:00 · 2024-10-20 02:42:14 +02:00 · 3028a4a33b
commit 3028a4a33b
parent 6fd68c294e
1 changed files with 2 additions and 1 deletions
--- a/1
+++ b/1
@ -384,6 +384,7 @@ new-develop:
 	if ! [[ -e develop ]]; then \
 	  $(MAKE) new-develop; \
 	fi
+	$(SET_DEVELOP)
 	$(MAKE) develop/.current
 .PHONY: develop/.current
 develop/.current: