diff options
| -rwxr-xr-x | builder/build-fetch | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/builder/build-fetch b/builder/build-fetch index 1973755..aee2466 100755 --- a/builder/build-fetch +++ b/builder/build-fetch @@ -204,6 +204,7 @@ echo "fetch: ${1}" case "${1}" in (git://*) build_fetch_git "${1}" > "${FETCH_LOG}";; (http://*) build_fetch_http "${1}" > "${FETCH_LOG}";; +(https://*) build_fetch_http "${1}" > "${FETCH_LOG}";; (ftp://*) build_fetch_http "${1}" > "${FETCH_LOG}";; # Everything else is death (*) die "do not know how to handle '${1}'" |