Synopsis: "make -j2 dist" does not work (bad dependency?) State-Changed-From-To: open->closed State-Changed-By: brendan State-Changed-When: Fri, 30 Mar 2007 00:45:19 +0200 State-Changed-Why: This is fixed in tip (at least make -j2 and make -j2 dist work for me now) **** Comment added by brendan on Fri, 30 Mar 2007 00:45:19 +0200 ****