diff -r 48c12c696778 -r 4a5ef2b08e81 scripts/build/companion_libs/ppl.sh
--- a/scripts/build/companion_libs/ppl.sh	Tue May 05 22:04:20 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