diff options
Diffstat (limited to 'maintainer/manage-packages.sh')
| -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 607373c5..becc05e4 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 |