diff --git a/make/projects-dir.mk b/make/projects-dir.mk index 10616236..92242d70 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -20,6 +20,10 @@ ifneq ($(PROJECTS),) export PGIT_CLONE_PROJECTS = $(PROJECTS) endif +ifneq ($(CLONE_FROM_USER),) + export PGIT_CLONE_FROM_USER = $(CLONE_FROM_USER) +endif + ifneq ($(wildcard projects.txt),) PROJECTS = $(shell cat projects.txt | sed '/^ *\#/ d') # TODO: this could be nicer