On 18/06/2012 18:25, Andrew Haley wrote:
The README-builds.html instructions say...

Slow Builds:

     ...

     Creating the javadocs can be very slow, if you are running
     javadoc, consider skipping that step.

But there is no information I can find about how to skip that step: I
think it's NO_DOCS=true.

Right, good catch. I always build with NO_DOCS=true, can save quite a bit of time on a slow machine. Docs should be updated.

-Chris.


Andrew.

Reply via email to