diff --git a/make/projects-dir.mk b/make/projects-dir.mk index 65bf33a8..fc41fc4c 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -117,7 +117,7 @@ cvs-update: rm -f $@.done make $@.done -git-push: +git-push push: $(PGIT) push git-push-all: