diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-31 11:41:03 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-31 11:41:03 +0200 |
| commit | 153a2ae3aedb8dd4b58c08f88b1137699d38480c (patch) | |
| tree | 2522fb5ef482de769bf6ee800ce45d4bdeafd0f0 /bin/build-packages | |
| parent | 2422d79d69ab18580c36364fe8816e01eee426d1 (diff) | |
| download | builder-153a2ae3aedb8dd4b58c08f88b1137699d38480c.tar.xz | |
bin/build-packages: skip 3rd and 4th compilation if source tarball is not available from mirror
Diffstat (limited to 'bin/build-packages')
| -rwxr-xr-x | bin/build-packages | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/build-packages b/bin/build-packages index f064556..22f86a9 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -163,9 +163,11 @@ while [ ${count} -ne 0 ]; do ' )" git_repo="$(find_git_repository_to_package_repository "${repository}")" - if wget -nc -nd "https://sources.archlinux.org/sources/${git_repo}/${source_name}"; then - tar -xzkf "${source_name}" --exclude PKGBUILD --strip-components=1 || true + if ! wget -nc -nd "https://sources.archlinux.org/sources/${git_repo}/${source_name}"; then + # we can't improve anything + break fi + tar -xzkf "${source_name}" --exclude PKGBUILD --strip-components=1 || true fi for parameters in '' '-c'; do |