diff options
author | Alexey Neyman <stilor@att.net> | 2018-04-13 19:57:13 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-13 19:57:13 (GMT) |
commit | bb9a11ae4fe44c22968941edb22264d6f0216dee (patch) | |
tree | 937017ee89af8d4d7ee333ef174bbeca1bd9dab5 /maintainer | |
parent | 1b18fd6bdd0c4e1b4ade5d0cb02eba5f2d1f78db (diff) | |
parent | 3f1532713ec2153e66db36460cdc424f84d91229 (diff) |
Merge pull request #939 from stilor/updates
Update packages: automake, isl, linux, mpfr, musl, newlib, strace, uC…
Diffstat (limited to 'maintainer')
-rwxr-xr-x | maintainer/manage-packages.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/maintainer/manage-packages.sh b/maintainer/manage-packages.sh index 607373c..becc05e 100755 --- a/maintainer/manage-packages.sh +++ b/maintainer/manage-packages.sh @@ -119,12 +119,12 @@ check_pkg_urls() CT_DoStep EXTRA "Looking for ${archive_filename}${e}" for m in ${mirrors}; do url="${m}/${archive_filename}${e}" + mh="${url#*://}" + mh="${mh%%[:/]*}" case "${url}" in # WGET always returns success for FTP URLs in spider mode :( - ftp://*) CT_DoLog DEBUG "Skipping '${url}': FTP not supported"; continue;; + ftp://*) CT_DoLog EXTRA "SKIP ${mh} [FTP not supported]"; continue;; esac - mh="${url#*://}" - mh="${mh%%[:/]*}" if [ -n "${mirror_status[${mh}]}" ]; then CT_DoLog DEBUG "Skipping '${url}': already found on this host at '${mirror_status[${mh}]}'" continue @@ -261,6 +261,7 @@ config ${versionlocked}_V_${kcfg} source "config/global/paths.in" source "config/global/download.in" source "config/global/extract.in" +source "config/global/build-behave.in" source "config/versions/${master}.in" EOF |