diff options
| -rwxr-xr-x | tools/binary-repo-lib.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/binary-repo-lib.sh b/tools/binary-repo-lib.sh index 92ef3a0329..2f5d481e39 100755 --- a/tools/binary-repo-lib.sh +++ b/tools/binary-repo-lib.sh @@ -55,7 +55,7 @@ curlDownload() { if [[ "$OSTYPE" == *Cygwin* || "$OSTYPE" == *cygwin* ]]; then jar=$(cygpath -m $1) fi - http_code=$(curl --write-out '%{http_code}' --silent --fail --output "$jar" "$url") + http_code=$(curl --write-out '%{http_code}' --silent --fail -L --output "$jar" "$url") if (( $? != 0 )); then echo "Error downloading $jar: response code: $http_code" echo "$url" |