diff --git a/make/projects-dir.mk b/make/projects-dir.mk index 19a90198..d37aa5e8 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -157,6 +157,9 @@ update pull: purge cvs-update git-clone sync: pull push +sync-%: + ssh $* make -C $(shell pwd) sync + pull-all: purge cvs-update git-clone git-pull-all touch clone.done touch pull.done