diff options
| author | Maurus Cuelenaere <mcuelenaere@gmail.com> | 2008-07-30 15:46:13 +0000 |
|---|---|---|
| committer | Maurus Cuelenaere <mcuelenaere@gmail.com> | 2008-07-30 15:46:13 +0000 |
| commit | 49d378b0f6da7379f05cc0dbec77b452da52f051 (patch) | |
| tree | 4a7ed4932e3f929ce5d3baa7a456fa6f0aa9dc09 | |
| parent | 06efd071a9be5158f527828975fbd78eac5e642f (diff) | |
| download | rockbox-49d378b0f6da7379f05cc0dbec77b452da52f051.zip rockbox-49d378b0f6da7379f05cc0dbec77b452da52f051.tar.gz rockbox-49d378b0f6da7379f05cc0dbec77b452da52f051.tar.bz2 rockbox-49d378b0f6da7379f05cc0dbec77b452da52f051.tar.xz | |
Commit FS#9158 thanks to Tomer Shalev
git-svn-id: svn://svn.rockbox.org/rockbox/trunk@18152 a1c6a512-1295-4272-9138-f99709370657
| -rwxr-xr-x | tools/rockboxdev.sh | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/tools/rockboxdev.sh b/tools/rockboxdev.sh index 9bbe56c..40c2859 100755 --- a/tools/rockboxdev.sh +++ b/tools/rockboxdev.sh @@ -23,6 +23,16 @@ else make="make" fi +# Use an alternative mirror in case you encounter a slow internet connection. +# List of other GNU mirrors available in http://www.gnu.org/prep/ftp.html +# +# Usage example: +# # GNU_MIRROR=http://mirrors.kernel.org/gnu ./rockboxdev.sh +# +if [ -z $GNU_MIRROR ] ; then + GNU_MIRROR=ftp://ftp.gnu.org/pub/gnu +fi + # If detection fails, override the value of make manually: # make="make" @@ -206,13 +216,13 @@ cat $summary if test -f "$dlwhere/binutils-$binutils.tar.bz2"; then echo "binutils $binutils already downloaded" else - getfile binutils-$binutils.tar.bz2 ftp://ftp.gnu.org/pub/gnu/binutils + getfile binutils-$binutils.tar.bz2 $GNU_MIRROR/binutils fi if test -f "$dlwhere/gcc-core-$gccver.tar.bz2"; then echo "gcc $gccver already downloaded" else - getfile gcc-core-$gccver.tar.bz2 ftp://ftp.gnu.org/pub/gnu/gcc/gcc-$gccver + getfile gcc-core-$gccver.tar.bz2 $GNU_MIRROR/gcc/gcc-$gccver fi if test -n "$gccpatch"; then |