summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-06-20 16:34:16 +0200
committerErich Eckner <git@eckner.net>2018-06-20 16:34:16 +0200
commitb7767060b316c9fbe6254714e14e92d60e405c57 (patch)
tree3a744761168d5f3dd9fd001c44b00e764f940ffd /bin
parent3d78b912620e997a58c98bddc30181d672cf172d (diff)
downloadbuilder-b7767060b316c9fbe6254714e14e92d60e405c57.tar.xz
bin/build-packages: haskell-* packages will be tried without_check as a last resort
Diffstat (limited to 'bin')
-rwxr-xr-xbin/build-packages10
1 files changed, 9 insertions, 1 deletions
diff --git a/bin/build-packages b/bin/build-packages
index a3fe3c5..d65b6f7 100755
--- a/bin/build-packages
+++ b/bin/build-packages
@@ -220,6 +220,14 @@ while [ "${count}" -ne 0 ] && \
package="${package% *}"
fi
+ if [ -z "${forced_straws}" ] && \
+ printf '%s\n' "${package}" | \
+ grep -q '^haskell-'; then
+ haskell_straws=':without_check:'
+ else
+ haskell_straws=''
+ fi
+
if [ "${git_revision##*-}" = 'HEAD' ]; then
git_revision=$(
repo_name="${git_revision%-*}"
@@ -302,7 +310,7 @@ while [ "${count}" -ne 0 ] && \
"${base_dir}/bin/ping-to-master" "$$" "${tmp_dir}" &
fi
success=false
- for straw in ${straws_that_might_repair_failing_builds}; do
+ for straw in ${straws_that_might_repair_failing_builds} ${haskell_straws}; do
echo 'preparing' > "${tmp_dir}/.ping-build-master"