index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2023-05-23 23:20:32 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2023-05-23 23:20:32 +0200 |
commit | a2cce02c00cb71d9d77399ae1f50311bf8e45ecd (patch) | |
tree | 8f8206073d85d90afa8125bad08516737d8e27bb /bin/build-packages | |
parent | bb5923cf4f2b494723e8de820273d5fb029cde94 (diff) |
-rwxr-xr-x | bin/build-packages | 2 |
diff --git a/bin/build-packages b/bin/build-packages index c587480..059593c 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -526,7 +526,7 @@ while [ "${count}" -ne 0 ] && \ echo 'checking-source' > "${tmp_dir}/.ping-build-master" success=false verifysource_trial=0 - while [ ${verifysource_trial} -lt 5 ]; do + while [ ${verifysource_trial} -lt 4 ]; do verifysource_trial=$((verifysource_trial + 1)) log_file="${tmp_dir}/$( date -u --iso-8601=seconds | \ |