diff --git a/make/projects-dir.mk b/make/projects-dir.mk
index 98d82207..19a90198 100644
--- a/make/projects-dir.mk
+++ b/make/projects-dir.mk
@@ -155,6 +155,8 @@ endif
 update pull: purge cvs-update git-clone
 	touch pull.done
 
+sync: pull push
+
 pull-all: purge cvs-update git-clone git-pull-all
 	touch clone.done
 	touch pull.done