From 870ed07f90906e12eec2c12d5539a78b9db206ed Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Fri, 18 Nov 2016 10:22:43 +0000 Subject: [PATCH] projects-dir.mk: Add support for CLONE_FROM_USER Signed-off-by: Jan Lindemann --- make/projects-dir.mk | 4 ++++ 1 file changed, 4 insertions(+) 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