diff options
Diffstat (limited to 'scripts/build/companion_libs/120-ppl.sh')
-rw-r--r-- | scripts/build/companion_libs/120-ppl.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/build/companion_libs/120-ppl.sh b/scripts/build/companion_libs/120-ppl.sh index 87d1512..c95ea56 100644 --- a/scripts/build/companion_libs/120-ppl.sh +++ b/scripts/build/companion_libs/120-ppl.sh @@ -12,8 +12,9 @@ if [ "${CT_PPL}" = "y" ]; then # Download PPL do_ppl_get() { - CT_GetFile "ppl-${CT_PPL_VERSION}" \ - http://bugseng.com/products/ppl/download/ftp/releases/${CT_PPL_VERSION} + CT_GetFile "ppl-${CT_PPL_VERSION}" \ + http://bugseng.com/products/ppl/download/ftp/releases/${CT_PPL_VERSION} \ + ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION} } # Extract PPL |