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

Re: mutt/2538: "make -j2 dist" does not work (bad dependency?)



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

State-Changed-From-To: closed->open
State-Changed-By: pdmef
State-Changed-When: Fri, 30 Mar 2007 11:42:29 +0200
State-Changed-Why:
Reopened as it's not fixed. If it works then only by 
accident since makedoc is still compiled twice, i.e. 
there's a race of two compiler runs overwriting their 
results (if one is lucky, one linker writes makedoc after 
the other is completely done already; but I've seen them 
doing it concurrently).



**** Comment added by pdmef on Fri, 30 Mar 2007 11:42:29 +0200 ****