scripts/build/companion_libs/121-isl.sh
changeset 3230 86a8d1d467c8
parent 3216 bfad02f03c75
     1.1 --- a/scripts/build/companion_libs/121-isl.sh	Sat May 04 00:08:34 2013 +0200
     1.2 +++ b/scripts/build/companion_libs/121-isl.sh	Thu Aug 01 20:24:35 2013 +0000
     1.3 @@ -13,7 +13,8 @@
     1.4  # Download ISL
     1.5  do_isl_get() {
     1.6      CT_GetFile "isl-${CT_ISL_VERSION}"  \
     1.7 -        ftp://ftp.linux.student.kuleuven.be/pub/people/skimo/isl/
     1.8 +        ftp://ftp.linux.student.kuleuven.be/pub/people/skimo/isl/ \
     1.9 +        http://mirrors.kernel.org/sources.redhat.com/gcc/infrastructure
    1.10  }
    1.11  
    1.12  # Extract ISL