diff options
| author | David Barksdale <dbarksdale@uplogix.com> | 2013-10-14 16:55:25 -0500 |
|---|---|---|
| committer | David Barksdale <dbarksdale@uplogix.com> | 2013-10-14 16:55:25 -0500 |
| commit | 1211690dc883a2c7ddf1488ec7c5bf2023d680d7 (patch) | |
| tree | 6e0ceb021d31fc36f6ee7958141cb6567041a6c1 | |
| parent | 9c720b25e0f45148144fec203ee8d79b376a21ca (diff) | |
Add HTTPS support.
| -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}'" |