diff options
author | 2014-03-20 19:08:25 -0700 | |
---|---|---|
committer | 2014-03-20 19:08:39 -0700 | |
commit | 544b8c0e2e8e554b33a1925e230cdef68b300413 (patch) | |
tree | 9bf5437339a20266a1be5ffd5f545208dc055776 /scripts | |
parent | 2128ebd2aed2eb0911154cc95ebf8c073ac7b216 (diff) |
Use SSLv3 to workaround curl issue
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/get-prebuilt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/get-prebuilt.sh b/scripts/get-prebuilt.sh index 8a44c659..c9b9e193 100755 --- a/scripts/get-prebuilt.sh +++ b/scripts/get-prebuilt.sh @@ -16,7 +16,7 @@ if test x$1 != xskipprebuilt ; then if test $age -gt 0 ; then networkerror=no #echo "$url_prefix/prebuilt.list" - curl -s -L "$url_prefix/prebuilt.list" > prebuilt.list.tmp + curl -3 -s -L "$url_prefix/prebuilt.list" > prebuilt.list.tmp if test x$? != x0 ; then networkerror=yes fi |