Diff

Differences From Artifact [5c88931dca]:

To Artifact [80980e80c6]:


    42     42   
    43     43   	if [ -s "${file}" ]; then
    44     44   		return 0
    45     45   	fi
    46     46   
    47     47   	rm -f "${file}.tmp" "${file}"
    48     48   
    49         -	wget -O "${file}.tmp" "${url}" || return 1
           49  +	if echo "${url}" | grep '^https://' >/dev/null; then
           50  +		wget --ca-certificate='../certs.pem' -O "${file}.tmp" "${url}" || return 1
           51  +	else
           52  +		wget -O "${file}.tmp" "${url}" || return 1
           53  +	fi
    50     54   
    51     55   	mv "${file}.tmp" "${file}"
    52     56   }
    53     57   
    54     58   function download_src () {
    55     59   	if [ ! -f "${SRC}" -a -n "${SRC}" -a -n "${SRCURL}" ]; then
    56     60   		mkdir -p "$(dirname "${SRC}")" >/dev/null 2>/dev/null