index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2019-06-24 15:08:30 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-06-24 15:08:30 +0200 |
commit | b191127e68f221ea9ca0be98d899a45711cd2e82 (patch) | |
tree | 0c238053666eff6266a52ed23405690bd937f12b /lib | |
parent | 944ee949d4a7b548c5586fe144b33903e9b5b63f (diff) |
-rwxr-xr-x | lib/load-configuration | 1 |
diff --git a/lib/load-configuration b/lib/load-configuration index 7fd627d..4ad31cf 100755 --- a/lib/load-configuration +++ b/lib/load-configuration @@ -83,6 +83,7 @@ straws_that_might_repair_failing_builds=$( printf '%s\n' \ ':mirrored_source:mirrored_source_by_hash:' \ ':clean_chroot:' \ + ':haskell_without_check:' \ ':with_build_support:' \ ':with_build_support:clean_chroot:' ) |