changeset 3322 | eb13867a034c |
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 Mon May 12 00:02:13 2014 +0200 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