<<< Date Index >>>     <<< Thread Index >>>

Re: [Mutt] #2538: "make -j2 dist" does not work (bad dependency?)



#2538: "make -j2 dist" does not work (bad dependency?)

Comment (by ferdy):

 That doesn't really work because make might end up running {{{cd .. &&
 $(MAKE) makedoc$(EXEEXT)}}} in two different 'code paths'. The proper fix
 is something along the lines of the following patch.

 - ferdy

-- 
Ticket URL: <http://dev.mutt.org/trac/ticket/2538#comment:6>