summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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