diff options
| -rwxr-xr-x | bin/build-packages | 8 |
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 |