From fc07d6af4156fde8af048ca5db8ff1f43de48ebc Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Mon, 17 Sep 2018 12:16:07 -0700 Subject: Follow redirects with cURL in contrib/get* scripts (#2471) On systems without `wget`, we use `curl` to download dependencies. However, we were not using the `-L` (follow redirects) option, which is necessary to download certain dependencies, e.g. CryptoMiniSat. --- contrib/get-script-header.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'contrib/get-script-header.sh') diff --git a/contrib/get-script-header.sh b/contrib/get-script-header.sh index 285d97b35..de4a93587 100644 --- a/contrib/get-script-header.sh +++ b/contrib/get-script-header.sh @@ -18,7 +18,7 @@ function webget { if which wget &>/dev/null; then wget -c -O "$2" "$1" elif which curl &>/dev/null; then - curl "$1" >"$2" + curl -L "$1" >"$2" else echo "Can't figure out how to download from web. Please install wget or curl." >&2 exit 1 -- cgit v1.2.3