Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/build-packages
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-06-20 09:18:38 +0200
committerErich Eckner <git@eckner.net>2019-06-20 09:25:05 +0200
commitacbdc2c9608d0ae0d2ea73bf5f5034cdd719a6fd (patch)
treef3b26b64af76779922daed0a72680d6ea34a6cbe /bin/build-packages
parent52a852da02a52e9275b3c15575946592d36992ef (diff)
bin/build-packages: do not compile if already successful
Diffstat (limited to 'bin/build-packages')
-rwxr-xr-xbin/build-packages4
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}" | \