Merge pull request #270 from eduardosm/http-failures

This commit is contained in:
Andrius Štikonas 2023-03-19 11:37:52 +00:00 committed by GitHub
commit 558630c559
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -15,7 +15,7 @@ download_source() {
local dest_path="${distfiles}/${fname}"
if ! [ -e "${dest_path}" ]; then
echo "Downloading ${fname}"
curl -L "${url}" --output "${dest_path}"
curl --fail --location "${url}" --output "${dest_path}"
fi
echo "${checksum} ${dest_path}" | sha256sum -c
}

View File

@ -208,7 +208,7 @@ interpret_source_line() {
# Default to basename of url if not given
fname="${fname:-$(basename "${url}")}"
if ! [ -e "${fname}" ]; then
curl -L "${url}" --output "${fname}"
curl --fail --location "${url}" --output "${fname}"
fi
echo "${checksum} ${fname}" > "${fname}.sum"
sha256sum -c "${fname}.sum"