On Thu, Apr 17 2014, Austin Clements <amdragon@MIT.EDU> wrote: > The roff build rule builds all of the roff files in a single command. > Previously, this was expressed as a multi-target rule, but since this > is equivalent to specifying a copy of the rule for each target, make > -jN could start up to N parallel instances of this command. Fix this > by bottlenecking this rule through a single stamp file. > > This also removes the unused man.stamp from CLEAN. > --- > doc/Makefile.local | 11 +++++++++-- > 1 file changed, 9 insertions(+), 2 deletions(-) > > diff --git a/doc/Makefile.local b/doc/Makefile.local > index 0980c71..5cf140d 100644 > --- a/doc/Makefile.local > +++ b/doc/Makefile.local > @@ -35,7 +35,13 @@ MAN_GZIP_FILES := $(addsuffix .gz,${MAN_ROFF_FILES}) > > # Use the man page converter that is available. We should never depend > # on MAN_ROFF_FILES if a converter is not available. > -${MAN_ROFF_FILES}: ${MAN_RST_FILES} > +${MAN_ROFF_FILES}: $(DOCBUILDDIR)/.roff.stamp > + > +# By using $(DOCBUILDDIR)/roff.stamp instead of ${MAN_ROFF_FILES}, we > +# convey to make that a single invocation of this receipe builds all LGTM. This 'receipe' could be amended to recipe(?:) > +# of the roff files. This prevents parallel make from starting an > +# instance of this recipe for each roff file. > +$(DOCBUILDDIR)/.roff.stamp: ${MAN_RST_FILES} > ifeq ($(HAVE_SPHINX),1) > $(SPHINXBUILD) -b man $(ALLSPHINXOPTS) $(DOCBUILDDIR)/man > for section in 1 5 7; do \ > @@ -48,6 +54,7 @@ else > @echo "Fatal: build dependency fail." > @false > endif > + touch ${MAN_ROFF_FILES} $@ > > # Do not try to build or install man pages if a man page converter is > # not available. > @@ -70,5 +77,5 @@ endif > $(dir)/docdeps.mk: $(dir)/conf.py $(dir)/mkdocdeps.py > $(mkdocdeps) $(srcdir)/doc $(DOCBUILDDIR) $@ > > -CLEAN := $(CLEAN) $(DOCBUILDDIR) $(dir)/docdeps.mk $(dir)/man.stamp > +CLEAN := $(CLEAN) $(DOCBUILDDIR) $(dir)/docdeps.mk $(DOCBUILDDIR)/.roff.stamp > CLEAN := $(CLEAN) $(MAN_GZIP_FILES) $(MAN_ROFF_FILES) > -- > 1.9.1 > > _______________________________________________ > notmuch mailing list > notmuch@notmuchmail.org > http://notmuchmail.org/mailman/listinfo/notmuch