diff options
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 |