diff options
| 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) | |
| download | builder-acbdc2c9608d0ae0d2ea73bf5f5034cdd719a6fd.tar.xz | |
bin/build-packages: do not compile if already successful
Diffstat (limited to 'bin/build-packages')
| -rwxr-xr-x | bin/build-packages | 4 |
1 files changed, 4 insertions, 0 deletions
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}" | \ |