diff --git a/make/projects-dir.mk b/make/projects-dir.mk index c9005d92..703db062 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -201,6 +201,8 @@ update pull: purge cvs-update git-clone sync: pull push +sync-all: pull-all push-all + sync-%: ssh $* make -C $(shell pwd) sync @@ -230,7 +232,7 @@ git-push push: $(SSH_WRAPPER_SH) $(PGIT) push git-push-all: $(SSH_WRAPPER_SH) - $(PGIT) push --all + $(PGIT) push --all --recurse-submodules=on-demand git-diff: $(SSH_WRAPPER_SH) $(PGIT) diff