From 738bb05a4aae3896814f1372050688af220bd23c Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Sun, 25 Oct 2015 12:12:51 +0000 Subject: [PATCH] projects-dir.mk: Add target projects.txt Signed-off-by: Jan Lindemann --- make/projects-dir.mk | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/make/projects-dir.mk b/make/projects-dir.mk index 32af7396..1245b229 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -31,7 +31,7 @@ cpp: while read f; do d=`dirname $$f`; if [ $$d/generate_code.sh ]; then echo $$f; fi ;\ done -clone diff diff commit push: +clone diff commit push: $(PGIT) $@ git-push: @@ -67,4 +67,6 @@ check-conv: make git-conv-$$p ;\ done +projects.txt: + echo $(PROJECTS) | sed 's/ /\n/g; s%/%%g' > $@