diff --git a/Makefile b/Makefile index 78b183926..96baa4582 100644 --- a/Makefile +++ b/Makefile @@ -384,6 +384,7 @@ new-develop: if ! [[ -e develop ]]; then \ $(MAKE) new-develop; \ fi + $(SET_DEVELOP) $(MAKE) develop/.current .PHONY: develop/.current develop/.current: @@ -406,4 +407,4 @@ i18n-check: --image-run---i18n-check [ -e $@ ] || touch $@ flock -en $@ true -.PHONY: --% \ No newline at end of file +.PHONY: --%