Resuming downloads of external files

[Matúš Kukan]

On 18 January 2016 at 23:16, Chris Sherlock <chris.sherlock79 at gmail.com> wrote:
> I notice we use curl to download things like boost.

I think we use curl only if wget is not found.

> Would it be possible to use the -C (continue) command?

No idea, but you can easily do that locally as
make CURL="curl -C" fetch
Something like that should work I hope.

Best,

Matus