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 /conf | |
parent | 944ee949d4a7b548c5586fe144b33903e9b5b63f (diff) |
-rwxr-xr-x | conf/slave.conf.example | 1 |
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:' #) |