build-make: Prefer downloading with curl over wget
Curl produces less log output while downloading.
This commit is contained in:
1 parent
16b3ddfbfc
commit
2eebbd670e
1 file changed
+3
-3
+3
-3
@@ -44,10 +44,10 @@ PREFIX="$(cd "$PREFIX" && pwd)"
|
|||||||
: ${CORES:=4}
|
: ${CORES:=4}
|
||||||
|
|
||||||
download() {
|
download() {
|
||||||
if command -v wget >/dev/null; then
|
if command -v curl >/dev/null; then
|
||||||
wget "$1"
|
|
||||||
else
|
|
||||||
curl -LO "$1"
|
curl -LO "$1"
|
||||||
|
else
|
||||||
|
wget "$1"
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user