From 4dcc04f8f7afd52ed39e9b08acef66a721d4e48d Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Sat, 22 Apr 2017 11:31:55 +0000 Subject: [PATCH] projects-dir.mk: Try to do without second git pull in pull target Signed-off-by: Jan Lindemann --- make/projects-dir.mk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/make/projects-dir.mk b/make/projects-dir.mk index b4aa2f20..903f28f7 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -126,10 +126,11 @@ ifneq ($(wildcard CVS),) $(PURGE_SH) endif -update pull: purge cvs-update git-clone git-pull +update pull: purge cvs-update git-clone touch pull.done pull-all: purge cvs-update git-clone git-pull-all + touch clone.done touch pull.done diff-all diff: ssh-wrapper.sh