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