summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-01-04 14:08:05 +0100
committerErich Eckner <git@eckner.net>2018-01-04 14:08:05 +0100
commitdee9611d197ef9db4222f063eac7c3114bb10f73 (patch)
tree1a7c26334afac5ee4270595bb7609c4d38a8559c /bin
parent67d3479b8f15d6c97bc3107ab1247f8b319a1047 (diff)
downloadbuilder-dee9611d197ef9db4222f063eac7c3114bb10f73.tar.xz
bin/build-packages: check if sources are correct before downloading them
Diffstat (limited to 'bin')
-rwxr-xr-xbin/build-packages8
1 files changed, 8 insertions, 0 deletions
diff --git a/bin/build-packages b/bin/build-packages
index bcbec35..ae75b7b 100755
--- a/bin/build-packages
+++ b/bin/build-packages
@@ -260,6 +260,10 @@ while [ "${count}" -ne 0 ]; do
if echo "${straw}" | \
grep -qF ':mirrored_source:'; then
# maybe a missing source is/was the problem?
+ if makepkg --verifysource 2>/dev/null; then
+ # nope, sources are fine
+ continue
+ fi
# try to download them from sources.archlinux.org/sources/$repo/$source
source_name=$(
makepkg --printsrcinfo | \
@@ -292,6 +296,10 @@ while [ "${count}" -ne 0 ]; do
if echo "${straw}" | \
grep -qF ':mirrored_source_by_hash:'; then
# maybe a missing source is/was the problem?
+ if makepkg --verifysource 2>/dev/null; then
+ # nope, sources are fine
+ continue
+ fi
# download it from sources.archlinux32.org by its hash
if ! download_sources_by_hash "${package}" "${repository}" "${git_revision}" "${mod_git_revision}"; then
# we can't improve anything, if no source was downloadable