diff options
| -rw-r--r-- | scripts/build/companion_libs/120-ppl.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/scripts/build/companion_libs/120-ppl.sh b/scripts/build/companion_libs/120-ppl.sh index e7e17fc..fb52aa3 100644 --- a/scripts/build/companion_libs/120-ppl.sh +++ b/scripts/build/companion_libs/120-ppl.sh @@ -12,10 +12,8 @@ if [ "${CT_PPL}" = "y" ]; then # Download PPL 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://gcc.gnu.org/pub/gcc/infrastructure + CT_GetFile "ppl-${CT_PPL_VERSION}" \ + http://bugseng.com/products/ppl/download/ftp/releases/${CT_PPL_VERSION} } # Extract PPL |