Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconf/slave.conf.example1
-rwxr-xr-xlib/load-configuration1
2 files changed, 2 insertions, 0 deletions
diff --git a/conf/slave.conf.example b/conf/slave.conf.example
index 2e02867..28a7adc 100755
--- a/conf/slave.conf.example
+++ b/conf/slave.conf.example
@@ -26,6 +26,7 @@
# printf '%s\n' \
# ':mirrored_source:mirrored_source_by_hash:' \
# ':clean_chroot:' \
+# ':haskell_without_check:' \
# ':with_build_support:' \
# ':with_build_support:clean_chroot:'
#)
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:'
)