diff --git a/make/projects-dir.mk b/make/projects-dir.mk index cf70fbc8..8782e677 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -87,6 +87,9 @@ purge: update pull: purge cvs-update git-clone git-pull touch pull.done +pull-all: purge cvs-update git-clone git-pull-all + touch pull.done + rebuild: clean pull subdirs-all subdirs-%: @@ -99,6 +102,9 @@ cvs-update: git-push: $(PGIT) push +git-push-all: + $(PGIT) push --all + git-diff: $(PGIT) diff @@ -108,6 +114,9 @@ git-short-diff: git-pull: $(PGIT) pull +git-pull-all: + $(PGIT) pull --all + git-clone: $(PGIT) clone