summaryrefslogtreecommitdiff
path: root/scripts/build
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-05-21 19:07:16 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-05-21 19:07:16 (GMT)
commit3a85d55aa871ce85a17c9079ee42697b4546f2b6 (patch)
treee105778542095cf3181eb466346b89d81a1093e7 /scripts/build
parent7f4b7488c5199be2266f16bc187bfd5d55956104 (diff)
/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(-)
Diffstat (limited to 'scripts/build')
-rw-r--r--scripts/build/companion_libs/ppl.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/build/companion_libs/ppl.sh b/scripts/build/companion_libs/ppl.sh
index d3246f9..b26f1a4 100644
--- a/scripts/build/companion_libs/ppl.sh
+++ b/scripts/build/companion_libs/ppl.sh
@@ -14,7 +14,8 @@ if [ "${CT_PPL_CLOOG}" = "y" ]; then
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