Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-06-24 15:08:30 +0200
committerErich Eckner <git@eckner.net>2019-06-24 15:08:30 +0200
commitb191127e68f221ea9ca0be98d899a45711cd2e82 (patch)
tree0c238053666eff6266a52ed23405690bd937f12b /lib
parent944ee949d4a7b548c5586fe144b33903e9b5b63f (diff)
add missing file modifications from 944ee949d4a7b548c5586fe144b33903e9b5b63f
Diffstat (limited to 'lib')
-rwxr-xr-xlib/load-configuration1
1 files changed, 1 insertions, 0 deletions
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:'
)