diff options
| 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/slave.conf.example | |
| parent | 944ee949d4a7b548c5586fe144b33903e9b5b63f (diff) | |
| download | builder-b191127e68f221ea9ca0be98d899a45711cd2e82.tar.xz | |
add missing file modifications from 944ee949d4a7b548c5586fe144b33903e9b5b63f
Diffstat (limited to 'conf/slave.conf.example')
| -rwxr-xr-x | conf/slave.conf.example | 1 |
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:' #) |