index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2019-06-20 09:18:38 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-06-20 09:25:05 +0200 |
commit | acbdc2c9608d0ae0d2ea73bf5f5034cdd719a6fd (patch) | |
tree | f3b26b64af76779922daed0a72680d6ea34a6cbe /bin/build-packages | |
parent | 52a852da02a52e9275b3c15575946592d36992ef (diff) |
-rwxr-xr-x | bin/build-packages | 4 |
diff --git a/bin/build-packages b/bin/build-packages index 077fc2d..2a87beb 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -412,6 +412,10 @@ while [ "${count}" -ne 0 ] && \ success=false for straw in ${straws_that_might_repair_failing_builds} ${haskell_straws}; do + if ${success}; then + break + fi + echo 'preparing' > "${tmp_dir}/.ping-build-master" if echo "${straw}" | \ |