# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1242932836 0
# Node ID 4a5ef2b08e81f3a7c7864bf86370d02464ff5464
# Parent  ec1cffe6d30b1a2f08d77444633b1500b8ad310e
/devel/gcc-4.4:
- add PPL download mirror at the gcc ftp site.

 -------- diffstat follows --------
 /devel/gcc-4.4/scripts/build/companion_libs/ppl.sh |    3     2     1     0 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff -r ec1cffe6d30b -r 4a5ef2b08e81 scripts/build/companion_libs/ppl.sh
--- a/scripts/build/companion_libs/ppl.sh	Thu May 21 19:00:55 2009 +0000
+++ b/scripts/build/companion_libs/ppl.sh	Thu May 21 19:07:16 2009 +0000
@@ -14,7 +14,8 @@
 do_ppl_get() {
     CT_GetFile "ppl-${CT_PPL_VERSION}"                                      \
         http://www.cs.unipr.it/ppl/Download/ftp/releases/${CT_PPL_VERSION}  \
-        ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION}
+        ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION}            \
+        ftp://gcc.gnu.org/pub/gcc/infrastructure
 }
 
 # Extract PPL