diff options
author | Erich Eckner <git@eckner.net> | 2018-06-20 16:34:16 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-06-20 16:34:16 +0200 |
commit | b7767060b316c9fbe6254714e14e92d60e405c57 (patch) | |
tree | 3a744761168d5f3dd9fd001c44b00e764f940ffd | |
parent | 3d78b912620e997a58c98bddc30181d672cf172d (diff) | |
download | builder-b7767060b316c9fbe6254714e14e92d60e405c57.tar.xz |
bin/build-packages: haskell-* packages will be tried without_check as a last resort
-rwxr-xr-x | bin/build-packages | 10 |
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" |