1.1 --- a/scripts/build/companion_libs/ppl.sh Tue May 05 22:04:20 2009 +0000
1.2 +++ b/scripts/build/companion_libs/ppl.sh Thu May 21 19:07:16 2009 +0000
1.3 @@ -14,7 +14,8 @@
1.4 do_ppl_get() {
1.5 CT_GetFile "ppl-${CT_PPL_VERSION}" \
1.6 http://www.cs.unipr.it/ppl/Download/ftp/releases/${CT_PPL_VERSION} \
1.7 - ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION}
1.8 + ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION} \
1.9 + ftp://gcc.gnu.org/pub/gcc/infrastructure
1.10 }
1.11
1.12 # Extract PPL