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	Sun May 24 21:44:21 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