This commit adds `wget` as a fall-back if `curl` fails. Additionally, it lets the user override the curl and wget arguments by passing `CURL_FLAGS="args"` and `WGET_FLAGS="args"` to make. If both curl and wget fail, it suggesting the user manually fetch the files or try other curl or wget arguments. |
||
---|---|---|
.. | ||
.gitignore | ||
Makefile |