diff --git a/configure b/configure index 893886cd51..67cd149ab3 100755 --- a/configure +++ b/configure @@ -7719,7 +7719,7 @@ if test "x${WGET}" != "x:"; then DOWNLOAD_TO_STDOUT="${WGET} -q -O-" DOWNLOAD_TIMEOUT='--timeout=$1' elif test "x${CURL}" != "x:"; then - DOWNLOAD="${CURL} -O --progress-bar -w \"%{url_effective}\n\"" + DOWNLOAD="${CURL} -L -O --progress-bar -w \"%{url_effective}\n\"" DOWNLOAD_TO_STDOUT="${CURL} -Ls" DOWNLOAD_TIMEOUT='--max-time $(or $2,$1)' else diff --git a/configure.ac b/configure.ac index 8d2ca5ae0f..d5b08142bd 100644 --- a/configure.ac +++ b/configure.ac @@ -296,7 +296,7 @@ if test "x${WGET}" != "x:"; then DOWNLOAD_TO_STDOUT="${WGET} -q -O-" DOWNLOAD_TIMEOUT='--timeout=$1' elif test "x${CURL}" != "x:"; then - DOWNLOAD="${CURL} -O --progress-bar -w \"%{url_effective}\n\"" + DOWNLOAD="${CURL} -L -O --progress-bar -w \"%{url_effective}\n\"" DOWNLOAD_TO_STDOUT="${CURL} -Ls" DOWNLOAD_TIMEOUT='--max-time $(or $2,$1)' else