From 3e99fe51cda72133150e54a69ac073f45e0489bb Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Mon, 23 Mar 2020 08:13:14 +0000 Subject: [PATCH] projects-dir.mk: Don't do git-pull.done before git-pull-% Use cvs-update.done instead of git-pull.done as prerequisite of git-pull-%, because otherwise broken remote own repos might not be recoverable 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 c1221aad..dffb70c5 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) pull.done +git-pull-%: $(SSH_WRAPPER_SH) cvs-update.done PGIT_CLONE_FROM_USER=$* $(PGIT_SH) clone git-commit: