Disable the internet
4) Attempt to build
** Watch it hang, and you have to ctrl+c to exit **
On 25/10/16 22:12, David Cole wrote:
Sounds like you should consider customizing the git clone with
DOWNLOAD_COMMAND. You can do anything you want as a customization...
HTH,
David
On Oct 24, 2016, at 1
Thanks for the tip, but I'd rather it didn't fetch the documentation
submodule at all, as this unnecessarily slows down the build.
On Tue, Oct 25, 2016 at 12:29 PM, Hendrik Sattler
wrote:
> Hi,
>
> you can tell git where your copy of tree remote url is. This is
> site-specific and does not chang
