Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/conf
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 /conf
parent944ee949d4a7b548c5586fe144b33903e9b5b63f (diff)
add missing file modifications from 944ee949d4a7b548c5586fe144b33903e9b5b63f
Diffstat (limited to 'conf')
-rwxr-xr-xconf/slave.conf.example1
1 files changed, 1 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:'
#)