From 2eebbd670eedbc253512c9db6ff87bae312341f8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Storsj=C3=B6?= Date: Wed, 14 May 2025 11:20:03 +0300 Subject: [PATCH] build-make: Prefer downloading with curl over wget Curl produces less log output while downloading. --- build-make.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build-make.sh b/build-make.sh index 60992a0..950e289 100755 --- a/build-make.sh +++ b/build-make.sh @@ -44,10 +44,10 @@ PREFIX="$(cd "$PREFIX" && pwd)" : ${CORES:=4} download() { - if command -v wget >/dev/null; then - wget "$1" - else + if command -v curl >/dev/null; then curl -LO "$1" + else + wget "$1" fi }