index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-01-04 14:08:05 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-01-04 14:08:05 +0100 |
commit | dee9611d197ef9db4222f063eac7c3114bb10f73 (patch) | |
tree | 1a7c26334afac5ee4270595bb7609c4d38a8559c | |
parent | 67d3479b8f15d6c97bc3107ab1247f8b319a1047 (diff) |
-rwxr-xr-x | bin/build-packages | 8 |
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 |