From 36bf04a4d2f783a123135c235fb539c3ab2a6359 Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Sat, 7 Dec 2019 19:22:53 +0000 Subject: [PATCH] projects-dir.mk: Do pull.done before git-pull-% This might fix a situation where make git-pull- fails, because jw-build isn't there, yet Signed-off-by: Jan Lindemann --- make/projects-dir.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make/projects-dir.mk b/make/projects-dir.mk index 738f080c..04be2da5 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -362,7 +362,7 @@ git-echo-links-%: | $(TEXT_FILES_CACHE) git-update-project-descriptions: $(SSH_WRAPPER_SH) $(GIT_SRV_ADMIN_SH) -j update-descriptions all -git-pull-%: $(SSH_WRAPPER_SH) +git-pull-%: $(SSH_WRAPPER_SH) pull.done PGIT_CLONE_FROM_USER=$* $(PGIT_SH) clone git-commit: