diff --git a/make/projects-dir.mk b/make/projects-dir.mk index 22b19720..cc272cd7 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -87,6 +87,8 @@ purge: update pull: purge cvs-update git-clone git-pull touch pull.done +rebuild: clean pull subdirs-all + subdirs-%: FORCE_REBUILD_SUBDIRS=true make $*