diff options
Diffstat (limited to 'bin/build-packages')
| -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" |